{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T23:31:47Z","timestamp":1676071907414},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540539827","type":"print"},{"value":"9783540465638","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:39Z","timestamp":1330208439000},"page":"296-319","source":"Crossref","is-referenced-by-count":25,"title":["A fully abstract model for concurrent constraint programming"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"Boer","sequence":"first","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"17_CR1","unstructured":"J.W. de Bakker and J.N. Kok. Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog. In Proc. of the International Conference on Fifth Generation Computer Systems, pages 347\u2013355, Tokyo, Japan, 1988. OHMSHA, LTD. Extended Abstract, full version available as CWI report CS-8834."},{"issue":"1\/2","key":"17_CR2","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0304-3975(90)90060-U","volume":"75","author":"J.W. Bakker de","year":"1990","unstructured":"J.W. de Bakker and J.N. Kok. Comparative metric semantics for Concurrent Prolog. Theoretical Computer Science, 75(1\/2):15\u201344, 1990.","journal-title":"Theoretical Computer Science"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Control flow versus logic: a denotational and a declarative model for Guarded Horn Clauses. In A. Kreczmar and G. Mirkowska, editors, Proc. of the Symposium on Mathematical Foundations of Computer Science, volume 379 of Lecture Notes in Computer Science, pages 165\u2013176. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51486-4_64"},{"key":"17_CR4","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Semantic models for a version of PARLOG. In Giorgio Levi and Maurizio Martelli, editors, Proc. of the Sixth International Conference on Logic Programming, Series in Logic Programming, pages 621\u2013636, Lisboa, 1989. The MIT Press. Extended version to appear in Theoretical Computer Science."},{"key":"17_CR5","unstructured":"F.S. de Boer and C. Palamidessi. Concurrent logic languages: Asynchronism and language comparison. In Proc. of the North American Conference on Logic Programming, Series in Logic Programming, pages 175\u2013194. The MIT Press, 1990. Full version available as technical report TR 6\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa."},{"key":"17_CR6","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 458 of Lecture Notes in Computer Science, pages 99\u2013114, Amsterdam, 1990. Springer-Verlag. Full version available as report at the Technische Universiteit Eindhoven.","DOI":"10.1007\/BFb0039054"},{"key":"17_CR7","unstructured":"M. Falaschi, M. Gabbrielli, G. Levi, and M. Murakami. Nested Guarded Horn Clauses: a language provided with a complete set of Unfolding Rules. In Proc. of the Japanese National Conference on Logic Programming '89, 1989."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"M. Gabbrielli and G. Levi. Unfolding and fixpoint semantics for concurrent constraint logic programs. In H. Kirchner and W. Wechler, editors, Proc. of the Second Int. Conf. on Algebraic and Logic Programming, Lecture Notes in Computer Science, pages 204\u2013216, Nancy, France, 1990. Springer-Verlag.","DOI":"10.1007\/3-540-53162-9_40"},{"key":"17_CR9","unstructured":"H. Gaifman, M. J. Maher, and E. Shapiro. Reactive Behaviour semantics for Concurrent Constraint Logic Programs. In E. Lusk and R. Overbeck, editors, North American Conference on Logic Programming, 1989."},{"key":"17_CR10","first-page":"320","volume-title":"Proc. of the Third IEEE Symposium on Logic In Computer Science","author":"R. Gerth","year":"1988","unstructured":"R. Gerth, M. Codish, Y. Lichtenstein, and E. Shapiro. Fully abstract denotational semantics for Concurrent Prolog. In Proc. of the Third IEEE Symposium on Logic In Computer Science, pages 320\u2013335. IEEE Computer Society Press, New York, 1988."},{"key":"17_CR11","first-page":"111","volume-title":"14th ACM Principles of Programming Languages Conference","author":"J. Jaffar","year":"1987","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In 14th ACM Principles of Programming Languages Conference, pages 111\u2013119, Munich, F.R.G., 1987. ACM, New York."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"J.N. Kok. A compositional semantics for Concurrent Prolog. In R. Cori and M. Wirsing, editors, Proc. Fifth Symposium on Theoretical Aspects of Computer Science, volume 294 of Lecture Notes in Computer Science, pages 373\u2013388. Springer-Verlag, 1988.","DOI":"10.1007\/BFb0035860"},{"key":"17_CR13","unstructured":"M. J. Maher. Logic semantics for a class of committed-choice programs. In Jean-Louis Lassez, editor, Proc. of the Fourth International Conference on Logic Programming, Series in Logic Programming, pages 858\u2013876, Melbourne, 1987. The MIT Press."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat. Partial Correctness Semantics for CP(\u00f8,|,&). In Proc. of the Conference on Foundations of Software Computing and Theoretical Computer Science, volume 206 of Lecture Notes in Computer Science, pages 347\u2013368. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16042-6_20"},{"key":"17_CR15","unstructured":"V.A. Saraswat. A somewhat logical formulation of CLP synchronization primitives. In Robert A. Kowalski and Kenneth A. Bowen, editors, Proc. of the Fifth International Conference on Logic Programming, Series in Logic Programming, pages 1298\u20131314, Seattle, USA, 1988. The MIT Press."},{"key":"17_CR16","volume-title":"Concurrent Constraint Programming Languages","author":"V.A. Saraswat","year":"1990","unstructured":"V.A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, january 1989. Published by The MIT Press, U.S.A., 1990."},{"key":"17_CR17","first-page":"232","volume-title":"Proc. of the seventeenth ACM Symposium on Principles of Programming Languages","author":"V.A. Saraswat","year":"1990","unstructured":"V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. of the seventeenth ACM Symposium on Principles of Programming Languages, pages 232\u2013245. ACM, New York, 1990."},{"key":"17_CR18","volume-title":"Proc. of the eighteenth ACM Symposium on Principles of Programming Languages","author":"M. Rinard","year":"1991","unstructured":"M. Rinard V.A. Saraswat and P. Panangaden. A fully abstract semantics for concurrent constraint programming. In Proc. of the eighteenth ACM Symposium on Principles of Programming Languages. ACM, New York, 1991."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:47Z","timestamp":1605646307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":18,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-53982-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}