{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:10Z","timestamp":1742593210868,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540522829"},{"type":"electronic","value":"9783540469452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52282-4_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:28:53Z","timestamp":1330205333000},"page":"95-108","source":"Crossref","is-referenced-by-count":1,"title":["Towards a process semantics in the logic programming style"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"9_CR1","unstructured":"Asperti, A., Martini, S., Projections instead of variables, A category theoretic interpretation of logic programs, Proc. 6th Int. Conf. on Logic Programming, Lisboa, Portugal, 1989."},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-kaci","year":"1986","unstructured":"A\u00eft-kaci, H., Nasr, R., LOGIN: a logic programming language with built-in inheritance, Journal of Logic Programming 3, pp. 185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"Bellia, M., Levi, G., The relation between logic and functional languages: A survey, Journal of Logic Programming 3, pp. 217\u2013236, 1986.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K.L. Clark","year":"1986","unstructured":"Clark, K.L., Gregory, S., PARLOG: Parallel Programming in Logic, ACM TOPLAS 8(1),pp. 1\u201349, 1986.","journal-title":"ACM TOPLAS"},{"key":"9_CR5","unstructured":"Corradini, A., Montanari, U., (Concurrent) Logic Programming as Transition Systems and viceversa, Internal Report TP 13, Escuela Superior Latino-Americana de Inform\u00e1tica (ESLAI), Buenos Aires, R. Argentina, December 1988."},{"key":"9_CR6","unstructured":"Corradini, A., Montanari, U., An Algebraic Representation of Logic Program Computations, Technical Report TR-36\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, December 1989."},{"key":"9_CR7","unstructured":"Corradini, A., Ph.D. Thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, forthcoming."},{"key":"9_CR8","unstructured":"Falaschi, M., Levi, G., Martelli, M., Palamidessi, C., Declarative Modeling of the Operational Behaviour of Logic Languages, Technical Report TR-10\/88, Dipartimento di Informatica, Univ. di Pisa, 1988; a preliminary version also appeared as: A new declarative semantics for logic languages, in Proc. 5th Int. Conf. Symp. on Logic Programming, Seattle, MIT Press, pp. 993\u20131005, 1988."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Falaschi, M., Levi, G., Palamidessi, C., A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses, in Information and Control, 60(1\u20133), Academic Press, 1984.","DOI":"10.1016\/S0019-9958(84)80021-2"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Gaifman, H., Shapiro, E., Fully Abstract Compositional semantics for Logic Programs, Proc. of the 1989 ACM Conf. on Principles of Logic Programming, 1989.","DOI":"10.1145\/75277.75289"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Gerth, R., Codish, M., Lichtenstein, Y., Shapiro, E., Fully Abstract Denotational Semantics for Flat Concurrent Prolog, Proc. 3th Annual Symposium on Logic In Computer Science, Edinburgh, UK, 1988.","DOI":"10.1109\/LICS.1988.5130"},{"key":"9_CR12","series-title":"Research Report","volume-title":"What is Unification? A Categorical View of Substitution, Equation and Solution","author":"J.A. Goguen","year":"1988","unstructured":"Goguen, J.A., What is Unification? A Categorical View of Substitution, Equation and Solution, Research Report SRI-CSL-88-2R2, SRI International, Menlo Park, California, 1988."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, 1983.","DOI":"10.1007\/978-3-662-09507-2_19"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.-L., Constraint Logic Programming, Proc. 12th ACM Symp. on Principles of Programming Languages, pp. 111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Kok, J.N., A Compositional Semantics for Concurrent Prolog, in Proc. of the Symposium on Theoretical Aspects of Computer Science (STACS), Bordeaux, 1988.","DOI":"10.1007\/BFb0035860"},{"key":"9_CR16","unstructured":"Levi, G., Palamidessi, C., An approach to the declarative semantics of synchronization in logic languages, Proc. 4th Int. Conf. on Logic Programming, MIT Press Series in Logic Programming, pp. 877\u2013893, 1987."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W., Foundations of Logic Programming, Springer Verlag, 1984, (2nd Edition 1987).","DOI":"10.1007\/978-3-642-96826-6"},{"key":"9_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S., Categories for the Working Mathematician, Springer Verlag, New York, 1971."},{"key":"9_CR19","unstructured":"Maher, M.J., Logic semantics for a class of committed-choice programs, Proc. 4th Int. Conf. on Logic Programming, MIT Press Series in Logic Programming, pp. 858\u2013876, 1987."},{"key":"9_CR20","first-page":"205","volume":"14","author":"R. Milner","year":"1984","unstructured":"Milner, R., Notes on a Calculus for Communicating Systems, in Control Flow and Data Flow: Concepts of Distributed Programming, (M. Broy, ed.), NATO ASI Series F: Vol. 14, Springer-Verlag, pp. 205\u2013228, 1984.","journal-title":"NATO ASI Series F"},{"key":"9_CR21","unstructured":"Monteiro, L., Distributed Logic: A Theory of Distributed Programming in Logic, Internal Report, Universidade Nova de Lisboa, Portugal, April 1986."},{"key":"9_CR22","unstructured":"Murakami, M, A Declarative Semantics of Parallel Logic Programs with Perpetual Processes, Proc. FGCS '88, 1988."},{"key":"9_CR23","unstructured":"Rydeheard, D.E., Burstall, R.M., The Unification of Terms: A Category-Theoretic Algorithm, Internal Report UMCS-85-8-1, Dept. Comp. Sci., University of Manchester, August 1985."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., The concurrent logic programming language CP: definition and operational semantics, Proc. of the SIGACT-SIGPLAN Symposium on Principle of Programming Languages, ACM, Jan. 1987.","DOI":"10.1145\/41625.41630"},{"key":"9_CR25","first-page":"277","volume":"232","author":"E. Shapiro","year":"1986","unstructured":"Shapiro, E., Concurrent Prolog: A Progress Report, in Fundamentals of Artificial Intelligence, (W. Bibel e Ph. Jorrand eds.), LNCS 232, Springer Verlag, pp. 277\u2013313, 1986.","journal-title":"LNCS"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Ueda, K., Guarded Horn Clauses, ICOT TR-103, June 1985.","DOI":"10.1007\/3-540-16479-0_17"}],"container-title":["Lecture Notes in Computer Science","STACS 90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52282-4_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:59:57Z","timestamp":1742590797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52282-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540522829","9783540469452"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-52282-4_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}