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…