Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.

Wolfgang Reisig

Browse the full ICALP paper archive.