Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming

Marco Carbone, Fabrizio Montesi

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
JournalA C M / S I G P L A N Notices
Volume48
Issue number1
Pages (from-to) 263-274
ISSN1523-2867
Publication statusPublished - 2013

Cite this