Work

Asynchronous Functional Sessions: Cyclic and Concurrent

Year: 2022

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.368.5

Authors: Bas van den Heuvel, Jorge A. Pérez

Institution: University of Groningen

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Award: Unifying Correctness for Communicating Software