{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:51Z","timestamp":1725663651356},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_95","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:47:53Z","timestamp":1330210073000},"page":"281-297","source":"Crossref","is-referenced-by-count":1,"title":["Extended Horn clauses: the framework and some semantics"],"prefix":"10.1007","author":[{"given":"Jean-Marie","family":"Jacquet","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"3","key":"21_CR1","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"P. America and J.J.M.M. Rutten. Solving reflexive domain equations in a category of complete metric spaces. Journal of Computer and System Sciences, 39(3):343\u2013375, 1989.","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR2","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. 7 th Int. Conf. on Logic Programming, pages 495\u2013510, Jerusalem, Israel, 1990. The MIT Press."},{"key":"21_CR3","unstructured":"A. Brogi. And-Parallelism without Shared Variables. In D.H.D. Warren and P. Szeredi, editors, Proc. 7 th Int. Conf. on Logic Programming, pages 306\u2013321, Jerusalem, Israel, 1990. The MIT Press."},{"key":"21_CR4","unstructured":"J.S. Conery. Logical Objects. In R.A. Kowalski and K.A. Bowen, editors, Proc. 5 th Int. Conf. and Symp. on Logic Programming, pages 420\u2013434, Seattle, USA, 1988. The MIT Press."},{"key":"21_CR5","unstructured":"J.W. de Bakker. Comparative Semantics for Flow of Control in Logic Programming without Logic. Technical Report CS-R8840, Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands, 1988."},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J.W. Bakker de","year":"1982","unstructured":"J.W. de Bakker and J.I. Zucker. Processes and the Denotational Semantics of Concurrency. Information and Control, 54:70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"F.S. de Boer and C. Palamidessi. On the Asynchronous Nature of Communication in Concurrent Logic Languages: a Fully Abstract Model based on Sequences. In J.C.M. Baeten and J.W. Klop, editors, Proc. of Concur 90, volume 459 of Lecture Notes in Computer Science, pages 99\u2013114, Amsterdam, The Netherlands, 1990. Springer-Verlag.","DOI":"10.1007\/BFb0039054"},{"key":"21_CR8","unstructured":"P. Degano and S. Diomedi. A First Order Semantics of a Connective Suitable to Express Concurrency. In Proc. 2 nd Workshop on Logic Programming, pages 506\u2013517, Albufeira, Portugal, 1983."},{"key":"21_CR9","unstructured":"R. Engelking. General Topology. Heldermann Verlag, 1989."},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","volume":"60","author":"M. Falaschi","year":"1984","unstructured":"M. Falaschi, G. Levi, and C. Palamidessi. A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses. Information and Control, 60:36\u201369, 1984.","journal-title":"Information and Control"},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"J.Y. Girard. Linear Logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"21_CR12","volume-title":"Design, Application and Implementation of a Parallel Logic Programming Language","author":"S. Gregory","year":"1985","unstructured":"S. Gregory. Design, Application and Implementation of a Parallel Logic Programming Language. PhD thesis, Department of Computing, Imperial College, London, Great-Britain, 1985."},{"key":"21_CR13","unstructured":"J.-M. Jacquet. Conclog: a Methodological Approach to Concurrent Logic Programming. PhD thesis, Facult\u00e9s Universitaires Notre-Dame de la Paix, University of Namur, Belgium, 1989. to appear as Lecture Notes in Computer Science, Springer-Verlag."},{"key":"21_CR14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90016-B","volume":"76","author":"J.N. Kok","year":"1990","unstructured":"J.N. Kok and J.J.M.M. Rutten. Contractions in Comparing Concurrency Semantics. Theoretical Computer Science, 76:179\u2013222, 1990.","journal-title":"Theoretical Computer Science"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"L. Monteiro. An Extension to Horn Clause Logic allowing the Definition of Concurrent Processes. In Proc. Formalization of Programming Concepts, volume 107 of Lecture Notes in Computer Science, pages 401\u2013407. Springer-Verlag, 1981.","DOI":"10.1007\/3-540-10699-5_114"},{"key":"21_CR17","unstructured":"L. Monteiro. A Horn Clause-like Logic for Specifying Concurrency. In Proc. 1 st Int. Conf. on Logic Programming, pages 1\u20138, 1982."},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"C. Palamidessi. Algebraic Properties of Idempotent Substitutions. In M.S. Paterson, editor, Proc. of the 17th International Colloquium on Automata, Languages and Programming, volume 443 of Lecture Notes in Computer Science, pages 386\u2013399, Warwick, England, 1990. Springer-Verlag.","DOI":"10.1007\/BFb0032046"},{"key":"21_CR19","unstructured":"V.A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, 1989. To be published by The MIT Press."},{"key":"21_CR20","unstructured":"E.Y. Shapiro. A Subset of Concurrent Prolog and its Interpreter. Technical Report TR-003, Institute for New Generation Computer Technology (ICOT), Tokyo, 1983."},{"key":"21_CR21","volume-title":"Guarded Horn Clauses","author":"K. Ueda","year":"1986","unstructured":"K. Ueda. Guarded Horn Clauses. PhD thesis, Faculty of Engineering, University of Tokyo, Tokyo, Japan, 1986."}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_95.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:27Z","timestamp":1605646467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}