In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 82-101. June 1991.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 152-178. Springer-Verlag, 1992. Changed title: A Fifo-net model for processes with asynchronous communication.
Abstract: The author defines net-based formal models for concurrent processes communicating by asynchronous message passing. Programs specified in abstract language are modelled by fifo-nets with composition operators, and for the first time extended compositionality and partial order semantics are considered in the fifo-net context. This leads to an algebra of fifo-nets, together with different congruences, which extends to the asynchronous communication part of the work on CCS, TCSP and ACP.
Keywords: fifo net model (for) process(es) (with) asynchronous communication; extended compositionality (and) partial order semantics (in) fifo net context; fifo net algebra; CCS; TCSP; ACP.
Back to the Petri Nets Bibliography