Work

Deadlock Freedom for Asynchronous and Cyclic Process Networks

Year: 2021

Type: article

Abstract: This paper considers the challenging problem of establishing deadlock freedom for message-passing processes using behavioral type systems. In particular, we consider the case of processes that implement session types by communicating asynchronously in cyclic process networks. We present APCP, a typed process framework for deadlock freedom which supports asynchronous communication, delegation, recursion, and a general form of process composition that enables specifying cyclic process networks. We discuss the main decisions involved in the design of APCP and illustrate its expressiveness and flexibility using several examples.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.347.3

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