Abstract: The objective of the workshop was to investigate various proposed formalisms for describing distributed systems and compositional proof methods for studying properties of these systems. New semantic models were discussed which emphasize nonsequentiality. The general aim was to develop a theory of concurrency, in which the distributed nature of processes is properly taken into account.
Keywords: compositionality; distributed system; concurrency theory.
Back to the Petri Nets Bibliography