Metric Pomset Semantics for a Concurrent Language with Recursion (1990)

by J W de Bakker, J H A Warmerdam
Venue:Lecture Notes in Computer Science