{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:33:12Z","timestamp":1759638792330},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647812"},{"type":"electronic","value":"9783540686811"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055075","type":"book-chapter","created":{"date-parts":[[2006,8,1]],"date-time":"2006-08-01T08:08:05Z","timestamp":1154419685000},"page":"455-469","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Concurrent constraints in the fusion calculus"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Victor","sequence":"first","affiliation":[]},{"given":"Joachim","family":"Parrow","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"unstructured":"Y. Fu. A proof-theoretical approach to communication. In P. Degano, R. Gorrieri and A. Marchetti-Spaccamela, editors, Proceedings of ICALP '97, volume 1256 of LNCS, pages 325\u2013335. Springer, 1997.","key":"40_CR1"},{"doi-asserted-by":"crossref","unstructured":"D. Li. A \u03c0-calculus specification of Prolog. In D. Sannella, editor, Proceedings of ESOP '04, volume 788 of LNCS, pages 379\u2013393. Springer, 1994.","key":"40_CR2","DOI":"10.1007\/3-540-57880-3_25"},{"issue":"2","key":"40_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119\u2013141, 1992.","journal-title":"Journal of Mathematical Structures in Computer Science"},{"key":"40_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow and D. Walker. A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100:1\u201377, Sept. 1992.","journal-title":"Journal of Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"R. Milner and D. Sangiorgi. Barbed bisimulatiou. In W. Kuich, editor, Proceedings of ICALP '92, volume 623 of LNCS, pages 685\u2013695. Springer, 1992.","key":"40_CR5","DOI":"10.1007\/3-540-55719-9_114"},{"doi-asserted-by":"crossref","unstructured":"J. Niehren and M. M\u00fcller. Constraints for free in concurrent computation. In K. Kanchanasut and J.-J. L\u00e9vy, editors, Asian Computer Science Conference, volume 1023 of LNCS, pages 171\u2013186. Springer, 1995.","key":"40_CR6","DOI":"10.1007\/3-540-60688-2_43"},{"unstructured":"J. Parrow and B. Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In Proceedings of LICS'98. IEEE, Computer Society Press, June 1998. URL: http:\/\/www.docs.uu.se\/~victor\/tr\/fusion.html.","key":"40_CR7"},{"doi-asserted-by":"crossref","unstructured":"J. Parrow and B. Victor. The update calculus. In M. Johnson, editor, Proceedings of AMAST'97, volume 1349 of LNCS, pages 409\u2013423. Springer, Dec. 1997.","key":"40_CR8","DOI":"10.1007\/BFb0000486"},{"unstructured":"B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In G. Plotkin, C. Stirling and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner, 1997. To appear.","key":"40_CR9"},{"unstructured":"D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, LFCS, University of Edinburgh, 1993.","key":"40_CR10"},{"doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, M. Rinard and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proceedings of POPL '91, pages 333\u2013352. ACM, 1991.","key":"40_CR11","DOI":"10.1145\/99583.99627"},{"doi-asserted-by":"crossref","unstructured":"G. Smolka. A foundation for higher-order concurrent constraint programming. In J.-P. Jouannaud, editor, Constraints in Computational Logics, volume 845 of LNCS, pages 50\u201372. Springer, Sept. 1994.","key":"40_CR12","DOI":"10.1007\/BFb0016844"},{"doi-asserted-by":"crossref","unstructured":"G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today, volume 1000 of LNCS, pages 324\u2013343. Springer, 1995.","key":"40_CR13","DOI":"10.1007\/BFb0015252"},{"key":"40_CR14","volume-title":"PhD thesis","author":"B. Victor","year":"1998","unstructured":"B. Victor. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. PhD thesis, Dept. of Computer Systems, Uppsala University, Sweden, June 1998. URL: http:\/\/www.docs.uu.se\/~victor\/thesis.shtml."},{"doi-asserted-by":"crossref","unstructured":"B. Victor and J. Parrow. Constraints as processes. In U. Montanari and V. Sassone, editors, Proceedings of CONCUR '96, volume 1119 of LNCS, pages 389\u2013405. Springer, 1996.","key":"40_CR15","DOI":"10.1007\/3-540-61604-7_66"},{"issue":"2","key":"40_CR16","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the \u03c0-calculus. Journal of Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Journal of Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T14:47:42Z","timestamp":1578494862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055075"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647812","9783540686811"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0055075","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"26 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}