{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:40Z","timestamp":1725467440114},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_84","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"238-255","source":"Crossref","is-referenced-by-count":7,"title":["Modeling coordination via asynchronous communication"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Jean-Marie","family":"Jacquet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"S. Brookes. Full Abstraction for a Shared-Variable Parallel Language. In Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, pages 98\u2013109, Montreal, Canada, June 1993. IEEE Computer Society Press.","key":"16_CR1","DOI":"10.1109\/LICS.1993.287596"},{"issue":"4","key":"16_CR2","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444\u2013458, 1989.","journal-title":"Communications of the ACM"},{"issue":"2","key":"16_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"N. Carriero","year":"1992","unstructured":"N. Carriero and D. Gelernter. Coordination Languages and Their Significance. Communications of the ACM, 35(2):97\u2013107, 1992.","journal-title":"Communications of the ACM"},{"unstructured":"P. Ciancarini and C. Hankin, editors. Proceedings of The First International Conference on Coordination Models and Languages, number 1061 in LNCS. Springer-Verlag, 1996.","key":"16_CR4"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","first-page":"111","volume-title":"Proc. 2nd Int. Conf. on Concurrency Theory (Concur'91)","author":"F.S. Boer de","year":"1991","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. The Failure of Failures in a Paradigm of Asynchronous Communication. In J.C.M. Baeten and J.F. Groote, editors, Proc. 2\n\n                  nd\n                \nInt. Conf. on Concurrency Theory (Concur'91), volume 527 of Lecture Notes in Computer Science, pages 111\u2013126, Amsterdam, The Netherlands, 1991. Springer-Verlag."},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1006\/inco.1994.1095","volume":"115","author":"E. Horita","year":"1994","unstructured":"E. Horita, J.W. de Bakker, and J.J.M.M. Rutten. Fully abstract denotational models for nonuiform concurrent languages. Information and computation, 115(1):125\u2013178, 1994.","journal-title":"Information and computation"},{"doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of communucating systems. Springer-Verlag, 1980.","key":"16_CR7","DOI":"10.1007\/3-540-10235-3"},{"doi-asserted-by":"crossref","unstructured":"R. De Nicola and R. Pugliese. A process algebra based on Linda. In P. Ciancarini and C. Hankin, editors, COORDINATION 96, number 1061 in LNCS. Springer-Verlag, 1996.","key":"16_CR8","DOI":"10.1007\/3-540-61052-9_45"},{"unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Aarhus University, 1981.","key":"16_CR9"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_84","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T15:30:08Z","timestamp":1549207808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_84","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}