Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).

John-Jules Ch. Meyer, Erik P. de Vink

Browse the full MFCS paper archive.