Experimenting with Process Equivalence

@article{Bloom1992ExperimentingWP,
  title={Experimenting with Process Equivalence},
  author={Bard Bloom and Albert R. Meyer},
  journal={Theor. Comput. Sci.},
  year={1992},
  volume={101},
  pages={223-237}
}
Bloom, B. and A.R. Meyer, Experimenting with process equivalence, Theoretical Computer Science 101 (1992) 223-237. 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. 
Highly Cited
This paper has 17 citations. REVIEW CITATIONS