@inproceedings{42e955184f30489597ebf8c7e882d5f6,
title = "Deadlock Freedom for Asynchronous and Cyclic Process Networks",
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.",
author = "{van den Heuvel}, Bas and P{\'e}rez, {Jorge A.}",
year = "2021",
month = oct,
day = "2",
doi = "10.4204/EPTCS.347.3",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "38--56",
editor = "Julien Lange and Anastasia Mavridou and Larisa Safina and Alceste Scalas",
booktitle = "Proceedings 14th Interaction and Concurrency Experience (ICE 2021)",
}