2 papers
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.LO2024
Around Classical and Intuitionistic Linear Processes
Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Curry-Howard correspondences between Linear Logic (LL) and session types provide a firm foundation for concurrent processes. As the correspondences hold for intuitionistic and clas…