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

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Cite this

@article{44cfe3c8abca4565aba1522e95f3485c,

title = "Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming",

author = "Marco Carbone and Fabrizio Montesi",

year = "2013",

language = "English",

volume = "48",

pages = " 263--274",

journal = "A C M / S I G P L A N Notices",

issn = "1523-2867",

publisher = "Association for Computing Machinery",

number = "1",

}