{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:32Z","timestamp":1725664292207},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:54:03Z","timestamp":1330271643000},"page":"57-72","source":"Crossref","is-referenced-by-count":4,"title":["Abstracting synchronization in concurrent constraint programming"],"prefix":"10.1007","author":[{"given":"Enea","family":"Zaffanella","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Giacobazzi","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Levi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"R. Barbuti, M. Codish, R. Giacobazzi, and G. Levi. Modelling Prolog Control. In Proc. Nineteenth Annual ACM Symp. on Principles of Programming Languages, pages 95\u2013104. ACM Press, 1992.","DOI":"10.1145\/143165.143186"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Falaschi, K. Marriott, and W. Winsborough. Efficient Analysis of Concurrent Constraint Logic Programs. In A. Lingas, R. Karlsson, and S. Carlsson, editors, Proc. of the 20th International Colloquium on Automata, Languages, and Programming, volume 700 of Lecture Notes in Computer Science, pages 633\u2013644, 1993.","DOI":"10.1007\/3-540-56939-1_108"},{"key":"6_CR3","unstructured":"C. Codognet and P. Codognet. A general semantics for Concurrent Constraint Languages and their Abstract Interpretation. In M. Meyer, editor, Workshop on Constraint Processing at the International Congress on Computer Systems and Applied Mathematics, CSAM'93, 1993."},{"key":"6_CR4","first-page":"215","volume-title":"Proc. North American Conf. on Logic Programming'90","author":"C. Codognet","year":"1990","unstructured":"C. Codognet, P. Codognet, and M. Corsini. Abstract Interpretation for Concurrent Logic Languages. In S. K. Debray and M. Hermenegildo, editors, Proc. North American Conf. on Logic Programming'90, pages 215\u2013232. The MIT Press, Cambridge, Mass., 1990."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proc. Sixth ACM Symp. Principles of Programming Languages, pages 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"6_CR6","first-page":"296","volume-title":"volume 493 of Lecture Notes in Computer Science","author":"F. S. Boer de","year":"1991","unstructured":"F. S. de Boer and C. Palamidessi. A Fully Abstract Model for Concurrent Constraint Programming. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT'91, volume 493 of Lecture Notes in Computer Science, pages 296\u2013319. Springer-Verlag, Berlin, 1991."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"F.S. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi. Proving Concurrent Constraint Programs Correct. In Proc. 21st Annual ACM Symp. on Principles of Programming Languages, pages 98\u2013108. ACM Press, 1994.","DOI":"10.1145\/174675.176925"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Compositional Analysis for Concurrent Constraint Programming. In Proceedings of the Eight Annual IEEE Symposium on Logic in Computer Science, pages 210\u2013221. IEEE Computer Society Press, 1993.","DOI":"10.1109\/LICS.1993.287586"},{"key":"6_CR9","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Confluence and Concurrent Constraint Programming. Technical report, Dipartimento di Elettronica e Informatica, University of Padova, 1993."},{"issue":"3","key":"6_CR10","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science, 69(3):289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"key":"6_CR11","unstructured":"R. Giacobazzi, S. K. Debray, and G. Levi. A Generalized Semantics for Constraint Logic Programs. In Proceedings of the International Conference on Fifth Generation Computer Systems 1992, pages 581\u2013591, 1992."},{"key":"6_CR12","unstructured":"R. Giacobazzi, G. Levi, and E. Zaffanella. Abstracting Synchronization in Concurrent Constraint Programming. Technical Report TR 25\/93, Dip. di Informatica, Univ. di Pisa, 1993."},{"key":"6_CR13","volume-title":"Cylindric Algebras. Part I and II.","author":"L. Henkin","year":"1971","unstructured":"L. Henkin, J.D. Monk, and A. Tarski. Cylindric Algebras. Part I and II. North-Holland, Amsterdam, 1971."},{"key":"6_CR14","unstructured":"R. Jagadeesan, V. Shanbhogue, and V. Saraswat. Angelic non-determinism in concurrent constraint programming. Technical report, System Science Lab., Xerox PARC, 1991."},{"issue":"2&3","key":"6_CR15","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"G. Janssens and M. Bruynooghe. Deriving descriptions of possible values of program variables by means of abstract interpretation. Journal of Logic Programming, 13(2 & 3):205\u2013258, 1992.","journal-title":"Journal of Logic Programming"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic Foundation of Concurrent Constraint Programming. In Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages, pages 333\u2013353. ACM, 1991.","DOI":"10.1145\/99583.99627"},{"key":"6_CR17","first-page":"577","volume-title":"volume 140 of Lecture Notes in Computer Science","author":"D. Scott","year":"1982","unstructured":"D. Scott. Domains for Denotational Semantics. In M. Nielsen and E. M. Schmidt, editors, Proc. ninth Int. Coll. on Automata, Languages and Programming, volume 140 of Lecture Notes in Computer Science, pages 577\u2013613. Springer-Verlag, Berlin, 1982."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:04Z","timestamp":1605648004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}