Work

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing

Year: 2024

Type: article

Abstract: While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice.In this paper, we will discuss asynchronous communication in the context of session-based concurrency, the model of computation in which session types specify the structure of the two-party protocols implemented by the channels of a communicating process.We overview recent work on addressing the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks governed by session types.We offer a gradual presentation of three typed process frameworks and outline how they may be used to guarantee deadlock freedom for a concurrent functional language with sessions.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.414.1

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

Institutions: University of Freiburg, University of Groningen, Karlsruhe University of Applied Sciences

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