Comparing type systems for deadlock freedom

Ornela Dardha, Jorge A. Pérez

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Article number100717
JournalThe Journal of Logical and Algebraic Methods in Programming
DOIs
Publication statusAccepted/In press - 10-Sep-2021

Cite this