Continuation Semantics for Concurrency with Multiple Channels Communication

Abstract

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

Topics

  • Presentations referencing similar topics