{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:07Z","timestamp":1750307947619,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T00:00:00Z","timestamp":1186876800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,8,12]]},"DOI":"10.1145\/1281100.1281159","type":"proceedings-article","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T23:36:52Z","timestamp":1312414612000},"page":"334-335","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A formal treatment of an abstract channel implementation using java sockets and TCP"],"prefix":"10.1145","author":[{"given":"Chryssis","family":"Georgiou","sequence":"first","affiliation":[{"name":"University of Cyprus, Nicosia, Cyprus"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter M.","family":"Musial","sequence":"additional","affiliation":[{"name":"Veromodo: Inc., Brookline, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander A.","family":"Shvartsman","sequence":"additional","affiliation":[{"name":"University of Connecticut, Storrs, CT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elaine L.","family":"Sonderegger","sequence":"additional","affiliation":[{"name":"University of Connecticut, Storrs, CT"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,8,12]]},"reference":[{"volume-title":"http:\/\/www.veromodo.com","year":"2006","key":"e_1_3_2_1_1_1","unstructured":"Tempo toolset. http:\/\/www.veromodo.com , VeroModo Inc ., 2006 . Tempo toolset. http:\/\/www.veromodo.com, VeroModo Inc., 2006."},{"key":"e_1_3_2_1_3_1","volume-title":"IOA: A language for specifying, programming, and validating distributed systems","author":"Garland S.","year":"2001","unstructured":"S. Garland , N. Lynch , and M. Vaziri . IOA: A language for specifying, programming, and validating distributed systems , 2001 . S. Garland, N. Lynch, and M. Vaziri. IOA: A language for specifying, programming, and validating distributed systems, 2001."},{"key":"e_1_3_2_1_4_1","first-page":"128","volume-title":"Proc. of the 18th International Conference on Parallel and Distributed Computing Systems","author":"Georgiou C.","year":"2005","unstructured":"C. Georgiou , N. Lynch , P. Mavrommatis , and J. A. Tauber . Automated implementation of complex distributed algorithms specified in the IOA language . In Proc. of the 18th International Conference on Parallel and Distributed Computing Systems , pages 128 -- 134 , 2005 . C. Georgiou, N. Lynch, P. Mavrommatis, and J. A. Tauber. Automated implementation of complex distributed algorithms specified in the IOA language. In Proc. of the 18th International Conference on Parallel and Distributed Computing Systems, pages 128--134, 2005."},{"key":"e_1_3_2_1_7_1","volume-title":"Distributed Algorithms","author":"Lynch N.","year":"1996","unstructured":"N. Lynch . Distributed Algorithms . Morgan Kaufmann Publishers , 1996 . N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996."},{"issue":"3","key":"e_1_3_2_1_8_1","first-page":"219","volume":"2","author":"Lynch N.","year":"1989","unstructured":"N. Lynch and M. Tuttle . An introduction to Input\/Output Automata. CWI-Quarterly , 2 ( 3 ): 219 -- 246 , 1989 . N. Lynch and M. Tuttle. An introduction to Input\/Output Automata. CWI-Quarterly, 2(3):219--246, 1989.","journal-title":"An introduction to Input\/Output Automata. CWI-Quarterly"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1134"},{"key":"e_1_3_2_1_10_1","first-page":"8","author":"Message-Passing A","year":"1994","unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface standard. The International Journal of Supercomputer Applications and High Performance Computing , 8 , 1994 . Message Passing Interface Forum. MPI: A Message-Passing Interface standard. The International Journal of Supercomputer Applications and High Performance Computing, 8, 1994.","journal-title":"The International Journal of Supercomputer Applications and High Performance Computing"},{"key":"e_1_3_2_1_11_1","volume-title":"September","author":"Postel J.","year":"1981","unstructured":"J. Postel . DARPA Internet program specification (internet standard stc--007). Internet RFC-793 , September 1981 . J. Postel. DARPA Internet program specification (internet standard stc--007). Internet RFC-793, September 1981."},{"key":"e_1_3_2_1_12_1","unstructured":"Sun Microsystems. JavaTM Platform SE 6. http:\/\/java.sun.com\/javase\/6\/docs\/api\/.  Sun Microsystems. JavaTM Platform SE 6. http:\/\/java.sun.com\/javase\/6\/docs\/api\/."}],"event":{"name":"PODC07: ACM Symposium on Principles of Distributed Computing 2007","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Portland Oregon USA","acronym":"PODC07"},"container-title":["Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1281100.1281159","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1281100.1281159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:52:32Z","timestamp":1750258352000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1281100.1281159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8,12]]},"references-count":9,"alternative-id":["10.1145\/1281100.1281159","10.1145\/1281100"],"URL":"https:\/\/doi.org\/10.1145\/1281100.1281159","relation":{},"subject":[],"published":{"date-parts":[[2007,8,12]]},"assertion":[{"value":"2007-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}