Skip to content

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

Marco Carbone, Fabrizio Montesi

VenueA*POPL
Year2013
ProceedingsPOPL

Browse the full POPL paper archive.