Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Contrasting Deadlock-Free Session Processes (Extended Version)
Juan C. Jaramillo, Jorge A. Pérez
Deadlock freedom is a crucial property for message-passing programs. Over the years, several different type systems for concurrent processes that ensure deadlock freedom have been…
cs.PL2024
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
Bas van den Heuvel, Jorge A. Pérez
While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice. In this paper, we will discuss asynchronous commu…