Experimenting with process equivalence
Bard Bloom, Albert R. Meyer · Theoretical Computer Science · 1992
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.