A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Session-Based Concurrency, Reactively
[chapter]
2017
Lecture Notes in Computer Science
This paper concerns formal models for the analysis of communication-centric software systems that feature declarative and reactive behaviors. We focus on session-based concurrency, the interaction model induced by session types, which uses (variants of) the π-calculus as specification languages. While well-established, such process models are not expressive enough to specify declarative and reactive behaviors common in emerging communication-centric software systems. Here we propose the
doi:10.1007/978-3-319-60225-7_6
fatcat:3g7sb7okszc5to6yfl6zh7256i