Metric Semantics for Synchronous and Asynchronous Communication: A Continuation-based Approach
Eneia Nicolae Todoran · Electronic Notes in Theoretical Computer Science · 2000
We introduce a technique - that we name continuation semantics for concurrency (CSC) - which can be used to model both sequential and parallel composition (in interleaving semantics) while providing the general advantages of the technique of continuations. We apply the CSC technique in designing operational and denotational models for two simple nonuniform concurrent languages: Download : Download full-size imagesyn and Download : Download full-size imageasyn. Download : Download full-size imagesyn provides CSP-like synchronous communication. Download : Download full-size imageasyn provides a mechanism for asynchronous communication. The operational and the denotational models are defined and related by using techniques from metric semantics. Our work was clearly inspired by the methodology for the design of control flow semantics advocated by the Amsterdam Concurrency Group, headed by Jaco de Bakker. We are specially grateful to Jaco de Bakker, Jan Rutten and Erik de Vink for their scientific support. The anonymous referees are thanked for their constructive comments.