Jaramillo, J. C., & Pérez, J. A. (2025). Contrasting Deadlock-Free Session Processes (Extended Version).
Chicago-Zitierstil (17. Ausg.)Jaramillo, Juan C., und Jorge A. Pérez. Contrasting Deadlock-Free Session Processes (Extended Version). 2025.
MLA-Zitierstil (9. Ausg.)Jaramillo, Juan C., und Jorge A. Pérez. Contrasting Deadlock-Free Session Processes (Extended Version). 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.