TY - UNPB
T1 - Asynchronous Functional Sessions
T2 - Cyclic and Concurrent
AU - van den Heuvel, Bas
AU - Pérez, Jorge A.
PY - 2022/9/6
Y1 - 2022/9/6
N2 - 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.
AB - 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.
U2 - 10.48550/arXiv.2209.06820
DO - 10.48550/arXiv.2209.06820
M3 - Preprint
T3 - Electronic Proceedings in Theoretical Computer Science
SP - 75
EP - 94
BT - Asynchronous Functional Sessions
PB - arXiv
ER -