Metric Pomset Semantics for a Concurrnt Language with Recursion

J. W. de Bakker, J. H. A. Warmerdam. Metric Pomset Semantics for a Concurrnt Language with Recursion. In Irène Guessarian, editor, Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings. Volume 469 of Lecture Notes in Computer Science, pages 21-49, Springer, 1990.

Abstract

Abstract is missing.