{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T16:21:58Z","timestamp":1794414118803,"version":"4.9.1"},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"value":"9783540197836","type":"print"},{"value":"9781447134213","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3421-3_10","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T02:42:32Z","timestamp":1331174552000},"page":"174-188","source":"Crossref","is-referenced-by-count":1,"title":["L2\u2225O2: Operational and Declarative Semantics"],"prefix":"10.1007","author":[{"given":"E.","family":"Pimentel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J. M.","family":"Troya","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"413","volume-title":"ACM. Computing Surveys","author":"E Shapiro","year":"1989","unstructured":"Shapiro E. The Family of Concurrent Logic Programming Languages. In: ACM. Computing Surveys, vol 21, 3. 1989. pp. 413\u2013510."},{"key":"10_CR2","first-page":"25","volume-title":"New Generation Computing, 1","author":"E Shapiro","year":"1983","unstructured":"Shapiro E, Takeuchi A. Object Oriented Programming in Concurrent Prolog. In: New Generation Computing, 1. 1983. pp. 25\u201348."},{"key":"10_CR3","first-page":"75","volume-title":"Research Directions in Object-Oriented Programming","author":"K Kahn","year":"1987","unstructured":"Kahn K, Tribble E.D, Miller M.S, Bobrow D.G. Vulcan: Logical Concurrent Objects. In: Shriver & Wegner(eds). Research Directions in Object-Oriented Programming. MIT Press. 1987. pp. 75\u2013112."},{"key":"10_CR4","volume-title":"Polka: A Parlog Object-Oriented Language","author":"A Davison","year":"1989","unstructured":"Davison A. Polka: A Parlog Object-Oriented Language. PhD thesis. University of London. 1989."},{"key":"10_CR5","first-page":"894","volume-title":"Proc. of the 4th Int. Conf. on Logic Programming","author":"M Ohki","year":"1987","unstructured":"Ohki M, Takeuchi A, Furukawa K. An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. In: Proc. of the 4th Int. Conf. on Logic Programming. MIT Press. Cambridge (Mass) 1987. pp. 894\u2013909."},{"key":"10_CR6","volume-title":"denotational Semantics of Inheritance","author":"WA Cook","year":"1989","unstructured":"Cook W. A denotational Semantics of Inheritance. PhD thesis. Brown University, Providence. Rhode Island, 1989."},{"key":"10_CR7","unstructured":"Yelland P.M. First Steps Towards Fully Abstract Semantics for Object Oriented Languages. In: Proc. of the Third European Conf. on Object-Oriented Prog. ECOOP 89. Cambridge Univ. Press."},{"key":"10_CR8","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":"Agha, G. Actors: A model of Concurrent Computation in Distributed Systems. The MIT Press, 1986."},{"key":"10_CR9","volume-title":"Proc. of the 7th Int. Conf. on Logic Programming","author":"L Monteiro","year":"1990","unstructured":"Monteiro L, Porto A. A Transformational View of Inheritance in Logic Programming. In Proc. of the 7th Int. Conf. on Logic Programming. MIT Press, 1990."},{"key":"10_CR10","unstructured":"Pimentel E, Troya J.M. A Concurrent Object Oriented Logic Language. In: Atti del Sesto Convegno sulla Prog. Log. GULP\u201991."},{"key":"10_CR11","volume-title":"Jornadas sobre Programaci\u00f3n Declarativa Malaga","author":"MM Gallardo","year":"1991","unstructured":"Gallardo M.M, Pimentel E, Troya J.M. Definiti\u00f3n Formal de un Subconjunto de L2\u2225O2. In Jornadas sobre Programaci\u00f3n Declarativa Malaga, 1991."},{"key":"10_CR12","first-page":"1","volume-title":"ACM Transactions on Programming Languages and Systems, vol 8","author":"K Clark","year":"1986","unstructured":"Clark K, Gregory S. Parlog: Parallel Programming in Logic. In: ACM Transactions on Programming Languages and Systems, vol 8, 1. 1986."},{"key":"10_CR13","series-title":"Tech. Report. The Weizmann Institute of Science","volume-title":"A subset of Concurrent Prolog and its interpreter","author":"E Shapiro","year":"1983","unstructured":"Shapiro E. A subset of Concurrent Prolog and its interpreter. Tech. Report. The Weizmann Institute of Science, 1983."},{"key":"10_CR14","volume-title":"Guarded Horn Clauses. ICOT Tech. Report TR-103","author":"K Ueda","year":"1985","unstructured":"Ueda K. Guarded Horn Clauses. ICOT Tech. Report TR-103, Institute for New Generation Computer Technology. Tokyo, 1985."},{"key":"10_CR15","first-page":"877","volume-title":"Proc. of the 4th Int. Conf. on Logic Programming","author":"G Levi","year":"1987","unstructured":"Levi G, Palamidessi C. An approach to the declarative semantics of synchronization in logic languages. In: Proc. of the 4th Int. Conf. on Logic Programming. MIT Press. 1987. pp. 877\u2013893."},{"key":"10_CR16","series-title":"Tech. Report","volume-title":"Parlog ++: A Parlog Object Oriented Language","author":"A Davison","year":"1990","unstructured":"Davison A. Parlog ++: A Parlog Object Oriented Language. Tech. Report. The Parlog Group. Dpt. of Computing. Imperial College. London 1990."},{"key":"10_CR17","first-page":"894","volume-title":"Proc. of the 4th International Conference on Logic Programming","author":"FS Boer","year":"1987","unstructured":"Boer F.S, Kok J.N, Palamidessi C, Rutten J.M.M. Semantic models for a version of PARLOG. In: Proc. of the 4th International Conference on Logic Programming. MIT Press. Cambridge (Mass.) 1987. pp.894\u2013909."}],"container-title":["Workshops in Computing","ALPUK92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3421-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T17:49:25Z","timestamp":1593798565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3421-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540197836","9781447134213"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3421-3_10","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-1-4471-3421-3","asserted-by":"object"}]},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"subject":[],"published":{"date-parts":[[1993]]}}}