{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:44:56Z","timestamp":1780994696848,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,4,18]]},"DOI":"10.1145\/1217935.1217953","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T15:41:00Z","timestamp":1175787660000},"page":"177-190","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":146,"title":["Language support for fast and reliable message-based communication in singularity OS"],"prefix":"10.1145","author":[{"given":"Manuel","family":"F\u00e4hndrich","sequence":"first","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Aiken","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chris","family":"Hawblitzel","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Orion","family":"Hodson","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Galen","family":"Hunt","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James R.","family":"Larus","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steven","family":"Levi","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Partition III: CIL Instruction Set. ECMA Standard 335 http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-335.htm.]]  Partition III: CIL Instruction Set. ECMA Standard 335 http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-335.htm.]]"},{"key":"e_1_3_2_1_2_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong Joe","year":"1996","unstructured":"Joe Armstrong , Robert Virding , Claes Wikstr\u00f6m , and Mike Williams . Concurrent Programming in Erlang . Prentice-Hall , second edition, 1996 .]] Joe Armstrong, Robert Virding, Claes Wikstr\u00f6m, and Mike Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353197"},{"key":"e_1_3_2_1_4_1","first-page":"269","volume-title":"Communicating Process Architectures","author":"Barnes F. R. M.","year":"2003","unstructured":"F. R. M. Barnes , C. L. Jacobsen , and B. Vinter . RMoX: a Raw Metal occam Experiment . In Communicating Process Architectures 2003 , WoTUG-26, Concurrent Systems Engineering, ISSN 1383--7575, pages 269 -- 288 , September 2003. ISBN : 1-58603-381-6.]] F. R. M. Barnes, C. L. Jacobsen, and B. Vinter. RMoX: a Raw Metal occam Experiment. In Communicating Process Architectures 2003, WoTUG-26, Concurrent Systems Engineering, ISSN 1383--7575, pages 269--288, September 2003. ISBN: 1-58603-381-6.]]"},{"key":"e_1_3_2_1_5_1","first-page":"243","volume-title":"Communicating Process Architectures","author":"Barnes F. R. M.","year":"2001","unstructured":"F. R. M. Barnes and P. H. Welch . Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment . In Communicating Process Architectures 2001 , number 59 in Concurrent Systems Engineering Series, pages 243 -- 264 . IOS Press , Amsterdam, The Netherlands, September 2001.]] F. R. M. Barnes and P. H. Welch. Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In Communicating Process Architectures 2001, number 59 in Concurrent Systems Engineering Series, pages 243--264. IOS Press, Amsterdam, The Netherlands, September 2001.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/800214.806544"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/504390.504408"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/556706"},{"key":"e_1_3_2_1_9_1","volume-title":"John Potter. Simple Ownership Types for Object Containment. In 15th European Conference on Object-Oriented Programming (ECOOP 2001","volume":"2072","author":"Clarke David G.","year":"2001","unstructured":"David G. Clarke , James Noble , and John Potter. Simple Ownership Types for Object Containment. In 15th European Conference on Object-Oriented Programming (ECOOP 2001 ), volume 2072 . Lecture Notes in Computer Science , 2001 .]] David G. Clarke, James Noble, and John Potter. Simple Ownership Types for Object Containment. In 15th European Conference on Object-Oriented Programming (ECOOP 2001), volume 2072. Lecture Notes in Computer Science, 2001.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292564"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of 8th International Erlang\/OTP User Conference","author":"Dagnat Fabien","year":"2002","unstructured":"Fabien Dagnat and Marc Pantel . Static analysis of communications for Erlang . In Proceedings of 8th International Erlang\/OTP User Conference , 2002 .]] Fabien Dagnat and Marc Pantel. Static analysis of communications for Erlang. In Proceedings of 8th International Erlang\/OTP User Conference, 2002.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_13_1","volume-title":"Phil Winterbottom. Programming in Limbo. In Proceedings of COMPCON. IEEE","author":"Dorward Sean","year":"1997","unstructured":"Sean Dorward , Rob Pike , and Phil Winterbottom. Programming in Limbo. In Proceedings of COMPCON. IEEE , 1997 .]] Sean Dorward, Rob Pike, and Phil Winterbottom. Programming in Limbo. In Proceedings of COMPCON. IEEE, 1997.]]"},{"key":"e_1_3_2_1_14_1","first-page":"204","volume-title":"Alan Mycroft. Linear Types for Packet Processing. In European Symposium on Programming","volume":"2986","author":"Ennals Robert","year":"2004","unstructured":"Robert Ennals , Richard Sharp , and Alan Mycroft. Linear Types for Packet Processing. In European Symposium on Programming , volume 2986 of LNCS, pages 204 -- 218 , Jan 2004 .]] Robert Ennals, Richard Sharp, and Alan Mycroft. Linear Types for Packet Processing. In European Symposium on Programming, volume 2986 of LNCS, pages 204--218, Jan 2004.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_16_1","first-page":"242","volume":"3114","author":"Fournet C\u00e9dric","year":"2004","unstructured":"C\u00e9dric Fournet , Tony Hoare , Sriram K. Rajamani , and Jakob Rehof . Stuck-Free Conformance. In LNCS , volume 3114 , pages 242 -- 254 , Jan 2004 .]] C\u00e9dric Fournet, Tony Hoare, Sriram K. Rajamani, and Jakob Rehof. Stuck-Free Conformance. In LNCS, volume 3114, pages 242--254, Jan 2004.]]","journal-title":"Stuck-Free Conformance. In LNCS"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359771"},{"issue":"2","key":"e_1_3_2_1_19_1","first-page":"324","article-title":"The SOLO Operating System","volume":"6","author":"Hansen Per Brinch","year":"1976","unstructured":"Per Brinch Hansen . The SOLO Operating System : A Concurrent Pascal Program. Software-Practice & Experience , 6 ( 2 ): 324 -- 336 , 1976 .]] Per Brinch Hansen. The SOLO Operating System: A Concurrent Pascal Program. Software-Practice & Experience, 6(2):324--336, 1976.]]","journal-title":"A Concurrent Pascal Program. Software-Practice & Experience"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_3_2_1_21_1","volume-title":"Makoto Kubo. Language Primitives and Type Discipline for Structured Communication-Based Programming. In European Symposium on Programming, ESOP'98","volume":"1381","author":"Honda Kohei","year":"1998","unstructured":"Kohei Honda , Vasco T. Vasconcelos , and Makoto Kubo. Language Primitives and Type Discipline for Structured Communication-Based Programming. In European Symposium on Programming, ESOP'98 , volume 1381 of LNSC, Jan 1998 .]] Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. Language Primitives and Type Discipline for Structured Communication-Based Programming. In European Symposium on Programming, ESOP'98, volume 1381 of LNSC, Jan 1998.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"Ted Wobber. Broad New OS Research: Challenges and Opportunities. In Proceedings of Tenth Workshop on Hot Topics in Operating Systems. USENIX","author":"Hunt Galen C.","year":"2005","unstructured":"Galen C. Hunt , James R. Larus , David Tarditi , and Ted Wobber. Broad New OS Research: Challenges and Opportunities. In Proceedings of Tenth Workshop on Hot Topics in Operating Systems. USENIX , June 2005 .]] Galen C. Hunt, James R. Larus, David Tarditi, and Ted Wobber. Broad New OS Research: Challenges and Opportunities. In Proceedings of Tenth Workshop on Hot Topics in Operating Systems. USENIX, June 2005.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360215"},{"key":"e_1_3_2_1_25_1","first-page":"275","volume-title":"Yanling Wang. Cyclone: A Safe Dialect of C. In Proceedings of the USENIX 2002 Annual Conference","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , Gregory Morrisett , Dan Grossman , Michael Hicks , James Cheney , and Yanling Wang. Cyclone: A Safe Dialect of C. In Proceedings of the USENIX 2002 Annual Conference , pages 275 -- 288 , 2002 .]] Trevor Jim, Gregory Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A Safe Dialect of C. In Proceedings of the USENIX 2002 Annual Conference, pages 275--288, 2002.]]"},{"key":"e_1_3_2_1_26_1","volume-title":"Programming in occam 2. Web edition","author":"Jones Geraint","year":"2001","unstructured":"Geraint Jones and Michael Goldsmith . Programming in occam 2. Web edition , 2001 . http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/geraint.jones\/-publications\/book\/Pio2\/.]] Geraint Jones and Michael Goldsmith. Programming in occam 2. Web edition, 2001. http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/geraint.jones\/-publications\/book\/Pio2\/.]]"},{"key":"e_1_3_2_1_27_1","unstructured":"Matthias Neubauer and Peter Thiemann. Session types for asynchronous communication. citeseer.ist.psu.edu\/636671.html.]]  Matthias Neubauer and Peter Thiemann. Session types for asynchronous communication. citeseer.ist.psu.edu\/636671.html.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/332799.332895"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380200703"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/358818.358822"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113470"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664578"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029873.1029875"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651903"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/6465.6466"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177855"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.51"}],"event":{"name":"EUROSYS06: Eurosys 2006 Conference","location":"Leuven Belgium","acronym":"EUROSYS06","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 1st ACM SIGOPS\/EuroSys European Conference on Computer Systems 2006"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1217935.1217953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:28:51Z","timestamp":1693812531000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1217935.1217953"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4,18]]},"references-count":35,"alternative-id":["10.1145\/1217935.1217953","10.1145\/1217935"],"URL":"https:\/\/doi.org\/10.1145\/1217935.1217953","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1218063.1217953","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,4,18]]},"assertion":[{"value":"2006-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}