{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:49:42Z","timestamp":1725562182459},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212980"},{"type":"electronic","value":"9783540247272"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24727-2_34","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T11:06:41Z","timestamp":1280747201000},"page":"484-498","source":"Crossref","is-referenced-by-count":8,"title":["Strong Bisimulation for the Explicit Fusion Calculus"],"prefix":"10.1007","author":[{"given":"Lucian","family":"Wischik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippa","family":"Gardner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"34_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L., L\u00e9vy, J.-J.: Explicit substitutions. Journal of Functional Programming\u00a01(4), 375\u2013416 (1991)","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"34_CR2","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R.M. Amadio","year":"1998","unstructured":"Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi calculus. Theoretical Computer Science\u00a0195(2), 291\u2013324 (1998)","journal-title":"Theoretical Computer Science"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-47993-7_18","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"N. Benton","year":"2002","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 415\u2013440. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Boreale, M., Buscemi, M., Montanari, U.: D-fusion: a distinctive fusion calculus(2003), (submitted for publication)","key":"34_CR4","DOI":"10.1007\/978-3-540-30477-7_20"},{"issue":"1-2","key":"34_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S0304-3975(97)00125-4","volume":"198","author":"M. Boreale","year":"1998","unstructured":"Boreale, M., Sangiorgi, D.: Some congruence properties for pi-calculus bisimilarities. Theoretical Computer Science\u00a0198(1-2), 159\u2013176 (1998)","journal-title":"Theoretical Computer Science"},{"unstructured":"Business Process Management Initiative. Business process modelling notation (BPML), http:\/\/www.bpmi.org\/","key":"34_CR6"},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/503272.503278","volume-title":"POPL 2002","author":"S. Chaki","year":"2002","unstructured":"Chaki, S., Rajamani, S.K., Rehof, J.: Types as models: Model checking messagepassing programs. In: POPL 2002, pp. 45\u201357. ACM Press, New York (2002)"},{"key":"34_CR8","first-page":"22","volume-title":"ASA 1999\/MA 1999","author":"S. Conchon","year":"1999","unstructured":"Conchon, S., Fessant, F.L.: Jocaml: Mobile agents for objective-caml. In: ASA 1999\/MA 1999, pp. 22\u201329. IEEE Computer Society Press, Los Alamitos (1999)"},{"unstructured":"Corporation, M.: Biztalk server, http:\/\/www.microsoft.com\/biztalk\/","key":"34_CR9"},{"key":"34_CR10","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/237721.237805","volume-title":"POPL 1996","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: POPL 1996, pp. 372\u2013385. ACM Press, New York (1996)"},{"key":"34_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1007\/BFb0055107","volume-title":"Automata, Languages and Programming","author":"C. Fournet","year":"1998","unstructured":"Fournet, C., Gonthier, G.: A hierarchy of equivalences for asynchronous calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 844\u2013855. Springer, Heidelberg (1998)"},{"key":"34_CR12","first-page":"74","volume-title":"Proceedings of ICAPDC 1997","author":"Y. Fu","year":"1997","unstructured":"Fu, Y.: The chi-calculus. In: Proceedings of ICAPDC 1997, pp. 74\u201381. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"34_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-49366-2_19","volume-title":"Advances in Computing Science - ASIAN\u201998","author":"Y. Fu","year":"1998","unstructured":"Fu, Y.: Bisimulation lattice of chi processes. In: Hsiang, J., Ohori, A. (eds.) ASIAN 1998. LNCS, vol.\u00a01538, pp. 245\u2013262. Springer, Heidelberg (1998)"},{"key":"34_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-48320-9_22","volume-title":"CONCUR\u201999. Concurrency Theory","author":"Y. Fu","year":"1999","unstructured":"Fu, Y.: Open bisimulations on chi processes. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 304\u2013319. Springer, Heidelberg (1999)"},{"key":"34_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-45694-5_28","volume-title":"CONCUR 2002 - Concurrency Theory","author":"P. Gardner","year":"2002","unstructured":"Gardner, P., Laneve, C., Wischik, L.: The fusion machine. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 418\u2013433. Springer, Heidelberg (2002)"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-540-45187-7_27","volume-title":"CONCUR 2003 - Concurrency Theory","author":"P. Gardner","year":"2003","unstructured":"Gardner, P., Laneve, C., Wischik, L.: Linear forwarders. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 415\u2013430. Springer, Heidelberg (2003)"},{"key":"34_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/3-540-44612-5_33","volume-title":"Mathematical Foundations of Computer Science 2000","author":"P. Gardner","year":"2000","unstructured":"Gardner, P., Wischik, L.: Explicit fusions. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 373\u2013382. Springer, Heidelberg (2000)"},{"issue":"2","key":"34_CR18","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0304-3975(95)00074-7","volume":"152","author":"K. Honda","year":"1995","unstructured":"Honda, K., Yoshida, N.: On reduction-based process semantics. Theoretical Computer Science\u00a0152(2), 437\u2013486 (1995)","journal-title":"Theoretical Computer Science"},{"key":"34_CR19","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"EXPRESS 1998","author":"M. Merro","year":"1998","unstructured":"Merro, M.: On the expressiveness of chi, update and fusion calculi. In: EXPRESS 1998. Electronic Notes in Theoretical Computer Science, vol.\u00a016.2, Elsevier, Amsterdam (1998)"},{"key":"34_CR20","volume-title":"Communicating and Mobile Systems: the Pi-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"34_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44685-0_2","volume-title":"CONCUR 2001 - Concurrency Theory","author":"R. Milner","year":"2001","unstructured":"Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 16\u201335. Springer, Heidelberg (2001)"},{"key":"34_CR22","first-page":"176","volume-title":"LICS 1998","author":"J. Parrow","year":"1998","unstructured":"Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: LICS 1998, pp. 176\u2013185. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"34_CR23","volume-title":"The Pi-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"34_CR24","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s002360050036","volume":"33","author":"D. Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: A theory of bisimulation for the pi-calculus. Acta Informatica\u00a033, 69\u201397 (1996)","journal-title":"Acta Informatica"},{"unstructured":"Thatte, S.: XLANG: Web services for business process design, http:\/\/www.gotdotnet.com\/team\/xml_wsspecs\/xlang-c\/","key":"34_CR25"},{"key":"34_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/BFb0055075","volume-title":"Automata, Languages and Programming","author":"B. Victor","year":"1998","unstructured":"Victor, B., Parrow, J.: Concurrent constraints in the fusion calculus. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 455\u2013469. Springer, Heidelberg (1998)"},{"unstructured":"Wischik, L.: Explicit Fusions: Theory and Implementation. PhD thesis, University of Cambridge (2001)","key":"34_CR27"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24727-2_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:22:55Z","timestamp":1559344975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24727-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212980","9783540247272"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24727-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}