{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:13:18Z","timestamp":1743001998338,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410201"},{"type":"electronic","value":"9783540452638"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45263-x_5","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T01:15:42Z","timestamp":1185844542000},"page":"66-80","source":"Crossref","is-referenced-by-count":4,"title":["Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antony","family":"Rowstron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"A. Rowstron. Optimising the Linda in primitive: Understanding tuple-space runtimes. In J. Carroll, E. Damiani, H. Haddad, and D. Oppenheim, editors, Proceedings of the 2000 ACM Symposium on Applied Computing, volume 1, pages 227\u2013232. ACM Press, March 2000.","DOI":"10.1145\/335603.335749"},{"key":"5_CR2","unstructured":"Sun Microsystems. Javaspace specification. available at: http:\/\/java.sun.com\/ , 1999."},{"issue":"5","key":"5_CR3","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5):315\u2013330, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"5_CR4","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":"5","key":"5_CR5","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/32.685259","volume":"24","author":"P. Ciancarini","year":"1998","unstructured":"P. Ciancarini, R. Tolksdorf, F. Vitali, D. Rossi, and A. Knoche. Coordinating multiagent applications on the WWW: A reference architecture. IEEE Transactions on Software Engineering, 24(5):362\u2013366, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1147\/sj.373.0454","volume":"37","author":"P. Wyckoff","year":"1998","unstructured":"P. Wyckoff, S. McLaughry, T. Lehman, and D. Ford. TSpaces. IBM Systems Journal, 37(3):454\u2013474, 1998.","journal-title":"IBM Systems Journal"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"A. Omicini and F. Zambonelli. Coordination for internet application development. Autonomous Agents and Multi-agent Systems, 2(3):251\u2013269, 1999. Special Issue on Coordination Mechanisms and Patterns for Web Agents.","journal-title":"Autonomous Agents and Multi-agent Systems"},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/A:1019263731139","volume":"1","author":"A. Rowstron","year":"1998","unstructured":"A. Rowstron. WCL: A web co-ordination language. World Wide Web Journal, 1(3):167\u2013179, 1998.","journal-title":"World Wide Web Journal"},{"key":"5_CR9","unstructured":"J. Carreria, L. Silva, and J. Silva. On the design of Eilean: A Linda-like library for MPI. Technical report, Universidade de Coimbra, 1994."},{"key":"5_CR10","unstructured":"N. Carriero and D. Gelernter. Tuple analysis and partial evaluation strategies in the Linda precompiler. In D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Computing, Research Monographs in Parallel and Distributed Computing, pages 114\u2013125. MIT Press, 1990."},{"issue":"1\u20132","key":"5_CR11","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0304-3975(99)00339-4","volume":"238","author":"R. Nicola De","year":"2000","unstructured":"R. De Nicola and R. Pugliese. Linda based applicative and imperative process algebras. Theoretical Computer Science, 238(1\u20132):389\u2013437, 2000.","journal-title":"Theoretical Computer Science"},{"key":"5_CR12","volume-title":"Technical Report DAIMI FN-19","author":"G.D. Plotkin","year":"1981","unstructured":"G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Dep. of Computer Science, Aarhus University, Denmark, 1981."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"R. De Nicola, R. Pugliese, and A. Rowstron. Proving the correctness of optimising destructive and non-destructive reads over tuple spaces. Technical Report available at: http:\/\/music.dsi.unifi.it\/ , Dipartimento di Sistemi e Informatica, Univ. Firenze, 2000.","DOI":"10.1007\/3-540-45263-X_5"}],"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-45263-X_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:50:26Z","timestamp":1556711426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45263-X_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410201","9783540452638"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45263-x_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}