In this paper we investigate the formal design of concurrent languages based on the concept of continuation. We present a denotational approach of concurrent programs by using continuations for concurrency. We illustrate the approach by designing a continuation semantics for a language with nondeterministic choice, sequential and parallel composition, and a mechanism of communication and synchronization on multiple channels. For our language, we also present an operational semantics, and establish the formal relation between the denotational and operational semantics. We accomplish the semantic investigation in the mathematical framework of complete metric spaces.
CITATION STYLE
Ciobanu, G., & Todoran, E. N. (2015). Continuation semantics for concurrency with multiple channels communication. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9407, pp. 400–416). Springer Verlag. https://doi.org/10.1007/978-3-319-25423-4_26
Mendeley helps you to discover research relevant for your work.