Deadlock-freedom-by-design: multiparty asynchronous global programming

Marco Carbone, Fabrizio Montesi

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelThe 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013
Antal sider12
Publikationsdato2013
Sider263-274
DOI
StatusUdgivet - 2013
Udgivet eksterntJa

Citationsformater