Asynchronous Functional Sessions: Cyclic and Concurrent
Logic in Computer Science
2022-09-15 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2209.06820,
title = {Asynchronous Functional Sessions: Cyclic and Concurrent},
author = {Bas van den Heuvel and Jorge A. Pérez},
journal= {arXiv preprint arXiv:2209.06820},
year = {2022}
}
Comments
In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777. arXiv admin note: substantial text overlap with arXiv:2208.07644