A Petri Net Entity as a Formal Model for LOTOS - A Specification Language for Distributed and Concurrent Systems.

For the most recent entries see the Petri Nets Newsletter.

In: Mirenkov, N.: Parallel Computing Technologies, pages 440-449. World Scientific, 1991.

Keywords: protocols, specification, compositionality, alternating bit protocol.

Do you need a refined search? Try our search engine which allows complex field-based queries.