Asynchronous Functional Sessions: Cyclic and Concurrent

Bas van den Heuvel
(University of Groningen)
Jorge A. Pérez
(University of Groningen)

We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concurrent evaluation and for cyclic network topologies. The design of CGV draws on APCP, a session-typed asynchronous pi-calculus developed in prior work. Technical contributions are (i) the syntax, semantics, and type system of CGV; (ii) a correct translation of CGV into APCP; (iii) a technique for establishing deadlock-free CGV programs, by resorting to APCP's priority-based type system.

In Valentina Castiglioni and Claudio A. Mezzina: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics (EXPRESS/SOS 2022), Warsaw, Poland, 12th September 2022, Electronic Proceedings in Theoretical Computer Science 368, pp. 75–94.
Published: 6th September 2022.

ArXived at: bibtex PDF

Comments and questions to:
For website issues: