For the most recent entries see the Petri Nets Newsletter.

An Algebraic Model for Communicating Processes.

Winkowski, J.

In: Fundamenta Informaticae, Vol. 11, pages 65-116. 1988.

Abstract: A new semantics for communicating processes is introduced which allows one to avoid explicit representation of hidden events of processes, which simplifies the concept of observation equivalence of processes. It offers also a framework to cope with indivisible sets of communication events.


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

Back to the Petri Nets Bibliography