Continuation Semantics for Interaction and Concurrency

We present an operational semantics designed in continuation-passing style for an abstract concurrent language providing a general mechanism of multiparty interactions. Using the classic notion of strong bisimulation, we show that the basic laws of concurrent systems are satisfied in this semantics. By customizing the behavior of continuations, we obtain semantic models for formalisms based on Milner’s CCS extended with constructions for multiparty interactions.