Metric Pomset Semantics for a Concurrnt Language with Recursion

• Authors:

• J. W. de Bakker;J. H. A. Warmerdam

• Affiliations:

• -;-

• Venue:
• Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
• Year:
• 1990