{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:31:05Z","timestamp":1720625465693},"reference-count":24,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":6419,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1996]]},"DOI":"10.1016\/s1571-0661(04)00036-2","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"110-125","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Distributed Logic Objects"],"prefix":"10.1016","volume":"4","author":[{"given":"Anna","family":"Ciampolini","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]},{"given":"Cesare","family":"Stefanelli","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB1","unstructured":"A. Ciampolini, E. Lamma, P. Mello, and C. Stefanelli. Distributed Logic Objects. Technical Report DEIS, DEIS - University of Bologna, 1994."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB2","series-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha","year":"1986"},{"issue":"2","key":"10.1016\/S1571-0661(04)00036-2_NEWBIB3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/88.218170","article-title":"Abstraction and Modularity Mechanisms for Concurrent Computing","volume":"1","author":"Agha","year":"1993","journal-title":"IEEE Parallel & Distributed Technology"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB4","unstructured":"J.M. Andreoli, T. Castagnetti, and R. Pareschi. Abstract Interpretation of Linear Logic Programming. In D. Miller, editor, Proceedings of IEEE Symposium on Logic Programming ILPS93. The MIT Press, 1993."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB5","unstructured":"J.M. Andreoli and R. Pareschi. Linear objects: logical processes with built-in inheritance. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming, pages 495\u2013510. The MIT Press, 1990."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB6","unstructured":"M. Bourgois, J.M. Andreoli, and R. Pareschi. Extending Objects with Rules, Composition and Concurrency: The LO Experience. Technical Report TR-92-26, ECRC, 1992."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB7","unstructured":"A. Brogi. AND-parallelism without Shared Variables. In D.H.D. Warren and Peter Szeredi, editors, Proc. Seventh International Conference on Logic Programming, pages 306\u2013324. The MIT Press, 1990."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB8","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0020-0190(92)90232-K","article-title":"The Implementation of a Distributed Model for Logic Programming based on Multiple-headed Clauses","volume":"42","author":"Brogi","year":"1992","journal-title":"Information Processing Letters"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB9","unstructured":"J.S. Conery. Logical objects. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming, pages 420\u2013434. The MIT Press, 1988."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB10","unstructured":"A. Davison. Polka: A Parlog Object-oriented Language. Technical Report Internal report, Dept. of Computing, Imperial College, 1988."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB11","first-page":"442","article-title":"Concurrent Histories: A Basis for Observing Distributed Systems","volume":"34","author":"Degano","year":"1987","journal-title":"J.CSS"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB12","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","article-title":"A Synchronization Logic: Axiomatic and Formal Semantics of Generalized Horn Clauses","volume":"60","author":"Falaschi","year":"1984","journal-title":"Information and Control"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB13","doi-asserted-by":"crossref","unstructured":"J. A. Goguen, Claude Kirchner, and Jos\u00e9 Meseguer. Concurrent term rewriting as a model of computation. In R. Keller and J. Fasel, editors, Proceedings of Graph Reduction Workshop, volume 279 of LNCS, pages 53\u201393, Santa Fe (NM, USA), 1987. Springer-Verlag.","DOI":"10.1007\/3-540-18420-1_50"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB14","unstructured":"J. A. Gougen. The rewrite rule machine project. In Proceedings of the 2nd International Conference on Supercomputing, 1987."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB15","doi-asserted-by":"crossref","unstructured":"K. Kahn, E.D. Tribble, M.S. Miller, and, D. G. Bobrow. Objects in concurrent logic programming languages. In Proceedings of OOPSLA-86. ACM Press, Portland (Oregon), 1986.","DOI":"10.1145\/28697.28721"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Claude Kirchner and Patrick Viry. Implementing parallel rewriting. In B. Fronh\u00f6fer and G. Wrightson, editors, Parallelization in Inference Systems, volume 590 of LNCS, pages 123\u2013138. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55425-4_5"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB17","doi-asserted-by":"crossref","unstructured":"Patrick Lincoln, Narciso Mart\u00ed-Oliet, and Jos\u00e9 Meseguer. Specification, transformation, and programming of concurrent systems in rewriting logic. In G.E. Blelloch, K.M. Chandy, and S. Jagannathan, editors, Specification of Parallel Algorithms, pages 309\u2013339. DIMACS Series, Vol. 18, American Mathematical Society, 1994.","DOI":"10.1090\/dimacs\/018\/20"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB18","doi-asserted-by":"crossref","unstructured":"Patrick Lincoln, Narciso Marti-Oliet, Jos\u00e9 Meseguer, and Livio Ricciulli. Compiling rewriting onto SIMD and MIMD\/SIMD machines. In Proceedings of PARLE'94, 6th International Conference on Parallel Architectures and Languages Europe, pages 37\u201348. Springer LNCS 817, 1994.","DOI":"10.1007\/3-540-58184-7_88"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB19","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A Logical Theory of Concurrent Objects. In Proceedings of OOPSLA-ECOOP-90, pages 101\u2013115. ACM Press, 1990s.","DOI":"10.1145\/97945.97958"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB20","unstructured":"J. Meseguer and T. Winkler. Parallel Programming in Maude. Technical Report CSL-91-08, SRI, 1991."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB21","series-title":"Research Directions in Concurrent Object-Oriented Programming","first-page":"314","article-title":"A logical theory of concurrent objects and its realization in the Maude language","author":"\u00e9 Meseguer","year":"1993"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB22","unstructured":"L. Monteiro. Distributed Logic: A Theory of Distributed Programming in Logic. Technical report, Universidade Nova de Lisboa, 1986."},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB23","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF03037020","article-title":"Object oriented programming in Concurrent Prolog","volume":"1","author":"Shapiro","year":"1983","journal-title":"New Generation Computing"},{"key":"10.1016\/S1571-0661(04)00036-2_NEWBIB24","unstructured":"D.H.D. Warren. An abstract Prolog instruction set. Technical Report TR 309, SRI International, 1983."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000362?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000362?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T09:53:45Z","timestamp":1550224425000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104000362"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":24,"alternative-id":["S1571066104000362"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00036-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1996]]}}}