Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS

Open in new window