{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:52:00Z","timestamp":1742914320715,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192819"},{"type":"electronic","value":"9783319192826"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19282-6_9","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T11:05:56Z","timestamp":1430305556000},"page":"133-149","source":"Crossref","is-referenced-by-count":0,"title":["A Labelled Semantics for Soft Concurrent Constraint Programming"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Gadducci","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Santini","sequence":"additional","affiliation":[]},{"given":"Luis F.","family":"Pino","sequence":"additional","affiliation":[]},{"given":"Frank D.","family":"Valencia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-19805-2_10","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Aristiz\u00e1bal","year":"2011","unstructured":"Aristiz\u00e1bal, A., Bonchi, F., Palamidessi, C., Pino, L.F., Valencia, F.D.: Deriving labels and bisimilarity for concurrent constraint programming. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 138\u2013152. Springer, Heidelberg (2011)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Arkhangelskii, A.V., Pontryagin, L.S.: General Topology I. Springer (1990)","DOI":"10.1007\/978-3-642-61265-7"},{"key":"9_CR3","unstructured":"Baccelli, F., Cohen, G., Olsder, G., Quadrat, J.P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley (1992)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-68265-3_4","volume-title":"Coordination Models and Languages","author":"S. Bistarelli","year":"2008","unstructured":"Bistarelli, S., Gabbrielli, M., Meo, M.C., Santini, F.: Timed soft concurrent constraint programs. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 50\u201366. Springer, Heidelberg (2008)"},{"key":"9_CR5","unstructured":"Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: ECAI 2006. FAIA, vol.\u00a0141, pp. 63\u201367. IOS Press (2006)"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"Journal of ACM"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1145\/1149114.1149118","volume":"7","author":"S. Bistarelli","year":"2006","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft concurrent constraint programming. ACM Transactions on Computational Logic\u00a07(3), 563\u2013589 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3-4","key":"9_CR8","doi-asserted-by":"crossref","first-page":"261","DOI":"10.3233\/FI-2014-1102","volume":"134","author":"S. Bistarelli","year":"2014","unstructured":"Bistarelli, S., Santini, F.: A secure non-monotonic soft concurrent constraint language. Fundamamenta Informaticae\u00a0134(3-4), 261\u2013285 (2014)","journal-title":"Fundamamenta Informaticae"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-00596-1_20","volume-title":"Foundations of Software Science and Computational Structures","author":"F. Bonchi","year":"2009","unstructured":"Bonchi, F., Gadducci, F., Monreale, G.V.: Reactive systems, barbed semantics, and the mobile ambients. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 272\u2013287. Springer, Heidelberg (2009)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M.G. Buscemi","year":"2007","unstructured":"Buscemi, M.G., Montanari, U.: CC-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/j.tcs.2004.02.037","volume":"318","author":"U. Lago Dal","year":"2004","unstructured":"Dal Lago, U., Martini, S.: Phase semantics and decidability of elementary affine logic. Theoretical Computer Science\u00a0318(3), 409\u2013433 (2004)","journal-title":"Theoretical Computer Science"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0028188","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"H. Fargier","year":"1993","unstructured":"Fargier, H., Lang, J.: Uncertainty in constraint satisfaction problems: a probabilistic approach. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol.\u00a0747, pp. 97\u2013104. Springer, Heidelberg (1993)"},{"key":"9_CR13","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, vol.\u00a0151. Elsevier (2007)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Golan, J.: Semirings and Affine Equations over Them: Theory and Applications. Kluwer (2003)","DOI":"10.1007\/978-94-017-0383-3"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Karner, G.: Semiring-based constraint satisfaction and optimization. Semigroup Forum 45(XX), 148\u2013165 (1992)","DOI":"10.1007\/BF03025757"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-44618-4_19","volume-title":"CONCUR 2000 - Concurrency Theory","author":"J.J. Leifer","year":"2000","unstructured":"Leifer, J.J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 243\u2013258. Springer, Heidelberg (2000)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1093\/jigpal\/8.4.451","volume":"8","author":"J.D. Monk","year":"2000","unstructured":"Monk, J.D.: An introduction to cylindric set algebras. Logic Journal of IGPL\u00a08(4), 451\u2013496 (2000)","journal-title":"Logic Journal of IGPL"},{"issue":"2","key":"9_CR19","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3233\/FI-1992-16206","volume":"16","author":"U. Montanari","year":"1992","unstructured":"Montanari, U., Sassone, V.: Dynamic congruence vs. progressing bisimulation for CCS. Fundamenta informaticae\u00a016(2), 171\u2013199 (1992)","journal-title":"Fundamenta informaticae"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-319-10882-7_21","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2014","author":"L.F. Pino","year":"2014","unstructured":"Pino, L.F., Bonchi, F., Valencia, F.D.: A behavioral congruence for concurrent constraint programming with nondeterministic choice. In: Ciobanu, G., M\u00e9ry, D. (eds.) ICTAC 2014. LNCS, vol.\u00a08687, pp. 351\u2013368. Springer, Heidelberg (2014)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M.C., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Wise, D.S. (ed.) POPL 1991, pp. 333\u2013352. ACM Press (1991)","DOI":"10.1145\/99583.99627"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19282-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T13:50:53Z","timestamp":1651845053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19282-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192819","9783319192826"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19282-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}