Metric pomset semantics for a concurrent language with recursion (1990)

by J W de Bakker, J H A Warmerdam
Venue:In Proceedings of the LITP Spring School on Theoretical Computer Science on Semantics of Systems of Concurrent Processes