{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T23:44:01Z","timestamp":1747871041314,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/nca.2004.1347769","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"121-130","source":"Crossref","is-referenced-by-count":5,"title":["Compiling IOA without global synchronization"],"prefix":"10.1109","author":[{"given":"J.A.","family":"Tauber","sequence":"first","affiliation":[]},{"given":"N.A.","family":"Lynch","sequence":"additional","affiliation":[]},{"given":"M.J.","family":"Tsai","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784720"},{"key":"17","article-title":"MPI: A message-passing interface standard","volume":"8","year":"1994","journal-title":"International Journal of Supercomputer Applications"},{"key":"18","article-title":"The IOA language and toolset: Support for designing, analyzing, and building distributed systems","volume":"mit lcs tr 762","author":"garland","year":"1998","journal-title":"Technical Report"},{"key":"15","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1090\/dimacs\/018\/06","article-title":"The Concurrency Factory - Practical tools for specification, simulation, verification and implementation of concurrent systems","author":"cleaveland","year":"1994","journal-title":"Proc DIMACS Workshop Specification of Parallel Algorithms"},{"key":"16","article-title":"IOA user guide and reference manual","volume":"mit lcs tr 961","author":"garland","year":"2004","journal-title":"Technical Report"},{"key":"13","article-title":"Systematic removal of nondeterminism for code generation in i\/o automata","volume":"mit lcs tr 960","author":"vaziri","year":"2004","journal-title":"Technical Report"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151648"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.464547"},{"journal-title":"MpiJava a Java Interface to MPI","year":"0","author":"baker","key":"12"},{"key":"21","first-page":"155","article-title":"Distributed systems - Towards a formal approach","volume":"7","author":"le lann","year":"1977","journal-title":"IFIP Congress"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"20"},{"journal-title":"Distributed Algorithms","year":"1996","author":"lynch","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41852"},{"key":"24","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWl-quarterly"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"25"},{"journal-title":"Enhancing the IOA Code Generator's Abstract Data Types","year":"2001","author":"nigam","key":"26"},{"journal-title":"Paired Simulation of I\/O Automata","year":"2000","author":"rarimrez-robredo","key":"27"},{"journal-title":"Simulation of Composite I\/O Automata","year":"2003","author":"solovey","key":"28"},{"journal-title":"Verifiable Compilation of I\/O Automata without Global Synchronization","year":"2004","author":"tauber","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/359104.359108"},{"journal-title":"Formal Verification of Simulations between I\/O Automata","year":"2001","author":"bogdanov","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5"},{"journal-title":"occam Programming Manual","year":"1984","key":"1"},{"key":"30","article-title":"Definition and expansion of composite automata in IOA","volume":"mit lcs tr 959","author":"tauber","year":"2004","journal-title":"Technical Report"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/248052.248113"},{"journal-title":"Improved Simulation of Input\/Output Automata","year":"2001","author":"dean","key":"6"},{"journal-title":"Theorem-proving distributed algorithms with dynamic analysis","year":"2003","author":"win","key":"32"},{"key":"5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1090\/dimacs\/045\/03","article-title":"Implementing an eventually-serializable data service as a distributed system building block","volume":"45","author":"cheiner","year":"1999","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"journal-title":"Code Generation for the IOA Language","year":"2002","author":"tsai","key":"31"},{"journal-title":"A Simulator for the IOA Language","year":"1998","author":"chefter","key":"4"},{"key":"9","article-title":"The IOA simulator","volume":"mit lcs tr 843","author":"kaynar","year":"2002","journal-title":"Technical Report"},{"key":"8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-60630-0_7","article-title":"Hierarchical compression for model-checking CSP or how to check 10 20 dining philosophers for deadlock","volume":"1019","author":"roscoe","year":"1995","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"Third IEEE International Symposium on Network Computing and Applications, 2004. (NCA 2004). Proceedings.","location":"Boston, MA, USA"},"container-title":["Third IEEE International Symposium on Network Computing and Applications, 2004. (NCA 2004). Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9330\/29641\/01347769.pdf?arnumber=1347769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,19]],"date-time":"2018-12-19T08:34:27Z","timestamp":1545208467000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1347769\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/nca.2004.1347769","relation":{},"subject":[]}}