{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:47:12Z","timestamp":1752461232473},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591559"},{"type":"electronic","value":"9783540492009"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:03:54Z","timestamp":1330257834000},"page":"171-192","source":"Crossref","is-referenced-by-count":8,"title":["Concurrency and Concurrent Constraint Programming"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Montanari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"[BdlBH+94a] F. Bueno, M. Jose Garcia de la Banda, M. Hermenegildo, U. Montanari, and F. Rossi. From eventual to atomic and locally atomic cc programs: A concurrent semantics. In Proc. Int. Conference on Algebraic and Logic Programming (ALP94), 1994.","key":"10_CR1","DOI":"10.1007\/3-540-58431-5_10"},{"unstructured":"[BdlBH+94b] F. Bueno, M. Jose Garcia de la Banda, M. Hermenegildo, F. Rossi, and U. Montanari. Towards true concurrency semantics based transformation between clp and cc. In Proc. second Int. Workshop on Principles and Practice of Constraint Programming (PPCP94), 1994.","key":"10_CR2"},{"doi-asserted-by":"crossref","unstructured":"J. Bergstra and W. Klop. Process algebra for sunchronous communication. Information and Control, 60, 1984.","key":"10_CR3","DOI":"10.1016\/S0019-9958(84)80025-X"},{"doi-asserted-by":"crossref","unstructured":"F.S. De Boer and C. Palamidessi. A fully abstract model for concurrent constraint programming. In Proc. CAAP. Springer-Verlag, 1991.","key":"10_CR4","DOI":"10.1007\/3-540-53982-4_17"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation and application to logic programming. The Journal of Logic Programming, 13 (2 and 3), 1992.","key":"10_CR5","DOI":"10.1016\/0743-1066(92)90030-7"},{"doi-asserted-by":"crossref","unstructured":"P. Darondeau and P. Degano. Causal trees. In Proc. ICALP. Springer Verlag, LNCS 372, 1989.","key":"10_CR6","DOI":"10.1007\/BFb0035764"},{"doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Concurrent histories: A basis for observing distributed systems. Journal of Computer and System Science, 34, 1987. or[DNM90] P. Degano, R. De Nicola, and U. Montanari. A partial ordering semantics for CCS. Theoretical Computer Science, pages 223\u2013262, 1990.","key":"10_CR7","DOI":"10.1016\/0304-3975(90)90095-Y"},{"unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.","key":"10_CR8"},{"doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","key":"10_CR9","DOI":"10.1007\/978-3-642-82921-5_4"},{"doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. Springer Verlag, LNCS 92, 1980.","key":"10_CR10","DOI":"10.1007\/3-540-10235-3"},{"unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989.","key":"10_CR11"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica. To appear.","key":"10_CR12","DOI":"10.1007\/BF01178907"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual occurrence nets and concurrent constraint programming. In Proc. Dagstuhl Seminar on Graph Transformations in Computer Science. Springer-Verlag, LNCS, 1993.","key":"10_CR13","DOI":"10.1007\/3-540-57787-4_18"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. A concurrent semantics for concurrent constraint programming via contextual nets. In Proc. 1st Workshop on Principles and Practice of Constraint Programming (PPCP93). MIT Press, 1994.","key":"10_CR14","DOI":"10.1007\/3-540-57787-4_18"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari, F. Rossi, and V. Saraswat. CC Programs with both In-and Non-Determinism: A Concurrent Semantics. In Proc. second International Workshop on Principles and Practice of Constraint Programming (PPCP94). Springer-Verlag, LNCS, 1994.","key":"10_CR15","DOI":"10.1007\/3-540-58601-6_98"},{"doi-asserted-by":"crossref","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, part 1. Theoretical Computer Science, 1981. Vol.13.","key":"10_CR16","DOI":"10.1016\/0304-3975(81)90112-2"},{"doi-asserted-by":"crossref","unstructured":"C.A. Petri. Concurrency. In Net Theory and Applications. Springer-Verlag, LNCS 84, 1980.","key":"10_CR17","DOI":"10.1007\/3-540-10001-6_26"},{"doi-asserted-by":"crossref","unstructured":"V. Pratt. Modelling Concurrency with Partial Orders. International Journal of Parallel Programming, 1986. Vol.15.","key":"10_CR18","DOI":"10.1007\/BF01379149"},{"doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.","key":"10_CR19","DOI":"10.1007\/978-3-642-69968-9"},{"doi-asserted-by":"crossref","unstructured":"F. Rossi and U. Montanari. Concurrent semantics for concurrent constraint programming. In J. Penjam B. Mayoh, E. Tyugu, editor, Constraint Programming. NATO ASI Series, 1994.","key":"10_CR20","DOI":"10.1007\/978-3-642-85983-0_8"},{"unstructured":"F. Rossi. Constraints and Concurrency. PhD thesis, University of Pisa, TD-14\/93, 1993.","key":"10_CR21"},{"doi-asserted-by":"crossref","unstructured":"V.A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.","key":"10_CR22","DOI":"10.7551\/mitpress\/2086.001.0001"},{"doi-asserted-by":"crossref","unstructured":"D. S. Scott. Domains for denotational semantics. In Proc. ICALP. Springer-Verlag, 1982.","key":"10_CR23","DOI":"10.1007\/BFb0012801"},{"doi-asserted-by":"crossref","unstructured":"V. A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. POPL. ACM, 1990.","key":"10_CR24","DOI":"10.1145\/96709.96733"},{"doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proc. POPL. ACM, 1991.","key":"10_CR25","DOI":"10.1145\/99583.99627"},{"doi-asserted-by":"crossref","unstructured":"G. Winskel. Event structures. In Petri nets: applications and relationships to other models of concurrency. Springer-Verlag, LNCS 255, 1986.","key":"10_CR26","DOI":"10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:03:11Z","timestamp":1640923391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}