Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency

Cite this paper

@article{Bakker1988TransitionSM, title={Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency}, author={J. W. de Bakker and John-Jules Ch. Meyer and Ernst-R{\"{u}diger Olderog and Jeffery I. Zucker}, journal={J. Comput. Syst. Sci.}, year={1988}, volume={36}, pages={158-224} }