Continuation Semantics for Concurrency with Multiple Channels Communication


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… (More)
DOI: 10.1007/978-3-319-25423-4_26


  • Presentations referencing similar topics