An exercise in concurrency: A CSP process as a condition/event system

Abstract

We provide full CSP with a truly concurrent and distributed operational semantics based on C/E Systems: given a CSP process Pr, a contact-free C/E System is derived the case graph of which is understood as the operational semantics of Pr. Thus concurrency and causal dependencies among the actions a process can perform are explicitly described.