{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:59:38Z","timestamp":1763225978736},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610526"},{"type":"electronic","value":"9783540499367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61052-9_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:13:21Z","timestamp":1330290801000},"page":"89-106","source":"Crossref","is-referenced-by-count":6,"title":["Enhancing coordination and modularity mechanisms for a language with objects-as-multisets"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Castellani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Ciancarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, Cambridge, MA, 1986."},{"issue":"3","key":"7_CR2","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"JM. Andreoli","year":"1992","unstructured":"JM. Andreoli. Logic Programming with Focusing Proofs in Linear Logic. Journal of Logic and Computation, 2(3):297\u2013348, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"7_CR3","first-page":"257","volume-title":"Trends in Object-Based Concurrent Computing","author":"JM. Andreoli","year":"1993","unstructured":"JM. Andreoli, P. Ciancarini, and R. Pareschi. Interaction Abstract Machines. In G. Agha, P. Wegner, and A. Yonezawa, editors, Trends in Object-Based Concurrent Computing, pages 257\u2013280. MIT Press, Cambridge, MA, 1993."},{"key":"7_CR4","first-page":"182","volume-title":"volume 668 of Lecture Notes in Computer Science","author":"JM. Andreoli","year":"1993","unstructured":"JM. Andreoli, L. Leth, R. Pareschi, and B. Thomsen. True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication. In Proc. Conf. on Theory and Practice of Sw Development (TAPSOFT 93), volume 668 of Lecture Notes in Computer Science, pages 182\u2013198, France, 1993. Springer-Verlag, Berlin."},{"key":"7_CR5","unstructured":"JM. Andreoli and R. Pareschi. Formulae as active representations of data. In Actes du 9 eme Seminaire sur la Programmation en Logique, Tregastel, France, 1990."},{"issue":"3\u20134","key":"7_CR6","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"JM. Andreoli","year":"1991","unstructured":"JM. Andreoli and R. Pareschi. Linear Objects: Logical Processes with Built-in Inheritance. New Generation Computing, 9(3\u20134):445\u2013473, 1991.","journal-title":"New Generation Computing"},{"issue":"1","key":"7_CR7","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"JP. Banatre","year":"1993","unstructured":"JP. Banatre and D. LeMetayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98\u2013111, January 1993.","journal-title":"Communications of the ACM"},{"issue":"1","key":"7_CR8","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Brogi","year":"1991","unstructured":"A. Brogi and P. Ciancarini. The concurrent language Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1):99\u2013123, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"7_CR9","doi-asserted-by":"crossref","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, February 1992.","journal-title":"Communications of the ACM"},{"issue":"3","key":"7_CR10","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF03037345","volume":"12","author":"P. Ciancarini","year":"1994","unstructured":"P. Ciancarini. Distributed Programming with Logic Tuple Spaces. New Generation Computing, 12(3):251\u2013284, May 1994.","journal-title":"New Generation Computing"},{"issue":"3","key":"7_CR11","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1109\/71.80163","volume":"1","author":"H. Cunningham","year":"1990","unstructured":"H. Cunningham and GC. Roman. A Unity-Style Programming Logic for Shared Dataspace Programs. IEEE Transactions on Parallel and Distributed Systems, 1(3):365\u2013376, July 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"K. DeBosschere and JM. Jacquet. Comparative Semantics of \u03bcLog. In D. Etiemble and J. Syre, editors, Proc. Conf. on Parallel Architectures and Languages Europe (PARLE 92), volume 605 of Lecture Notes in Computer Science, pages 911\u2013926, Paris, France, 1992.","DOI":"10.1007\/3-540-55599-4_132"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"J. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"7_CR14","first-page":"278","volume-title":"A Concurrent Linear Logic Programming Paradigm","author":"N. Kobayashi","year":"1993","unstructured":"N. Kobayashi and A. Yonezawa. A Concurrent Linear Logic Programming Paradigm. In Proc. 10th Int. Symp. on Logic Programming, pages 278\u2013294. MIT Press, Cambridge, MA, 1993."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"H. Lieberman. Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems. In N. Meyrowitz, editor, Proc. ACM Conf. on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), volume 21:11 of ACM Sigplan Notices, pages 214\u2013223, October 1986.","DOI":"10.1145\/28697.28718"},{"key":"7_CR16","unstructured":"E. Lusk, DHD. Warren, et al. The Aurora OR-parallel Prolog System. In Proc. Int. Conf. on Fifth Generation Computer Systems, pages 819\u2013830. ICOT, 1988."},{"key":"7_CR17","first-page":"314","volume-title":"Trends in Object-Based Concurrent Computing","author":"J. Meseguer","year":"1993","unstructured":"J. Meseguer. A Logical Theory of Concurrent Objects and Its Realization in the Maude Language. In G. Agha, P. Wegner, and A. Yonezawa, editors, Trends in Object-Based Concurrent Computing, pages 314\u2013390. MIT Press, Cambridge, MA, 1993."},{"key":"7_CR18","volume-title":"A Multiple-Conclusions Meta-Logic","author":"D. Miller","year":"1994","unstructured":"D. Miller. A Multiple-Conclusions Meta-Logic. In Proc. 9th IEEE Symp. on Logic In Computer Science (LICS), Paris, France, 1994. IEEE Computer Society Press."},{"key":"7_CR19","first-page":"338","volume-title":"volume 493 of Lecture Notes in Computer Science","author":"K. Prasad","year":"1991","unstructured":"K. Prasad. A Calculus of Broadcasting Systems. In S. Abramski and T. Maibaum, editors, Proc. 16th Colloquium on Trees in Algebra and Programming, volume 493 of Lecture Notes in Computer Science, pages 338\u2013358, Brighton, UK, 1991. Springer-Verlag, Berlin."},{"key":"7_CR20","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, Cambridge, MA, 1986."},{"key":"7_CR21","unstructured":"G. Sutcliffe. Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog. In F. DeBoesschere, J. Jacquet, and P. Tarau, editors, Proc. Workshop on Blackboard-based Logic Programming, pages 105\u2013117, Budapest, Hungary, June 1993."},{"issue":"8","key":"7_CR22","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.153276","volume":"25","author":"A. Tanenbaum","year":"1992","unstructured":"A. Tanenbaum, F. Kaashouek, and H. Bal. Parallel Programming Using Shared Objects and Broadcasting. IEEE Computer, 25(8):10\u201319, August 1992.","journal-title":"IEEE Computer"}],"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-61052-9_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:58Z","timestamp":1619573338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61052-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610526","9783540499367"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61052-9_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}