Experimenting with process equivalence

Distinctions between concurrent processes based on observable outcomes of computational experiments are examined. The equivalence determined by a general class of experiments involving duplication of processes can be characterized by a notion of ready simulation resembling, but strictly coarser than, Milner's bisimulation equivalence.

Authors

• Bard Bloom
• Albert R. Meyer

Keywords

No keywords are indexed for this paper.