×

An equivalence of communicating processes in distributed environments. (English) Zbl 0674.68017

The author defines an equivalence of communicating processes by extracting visible behaviours from structures (called configuration systems and defined similarly to Winskel) representing these processes. He shows a strong property concerning the equivalence: it is a congruence for (Milner’s) operations of process composition.
Reviewer: W.Kwasowiec

MSC:

68N25 Theory of operating systems
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite