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

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-RĂ¼diger Olderog, Jeffery I. Zucker. Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci., 36(2):158-224, 1988.

Bibliographies