{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:31:27Z","timestamp":1778297487235,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540679011","type":"print"},{"value":"9783540446125","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_33","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:28:20Z","timestamp":1178371700000},"page":"373-382","source":"Crossref","is-referenced-by-count":18,"title":["Explicit Fusions"],"prefix":"10.1007","author":[{"given":"Philippa","family":"Gardner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucian","family":"Wischik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"33_CR1","series-title":"Lect Notes Comput Sci","volume-title":"CONCUR","author":"Y. Fu","year":"1999","unstructured":"Y. Fu. Open bisimulations on chi processes. In CONCUR, LNCS 1664. Springer, 1999."},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"P. Gardner. From process calculi to process frameworks. In CONCUR, 2000. To appear.","DOI":"10.1007\/3-540-44618-4_7"},{"key":"33_CR3","unstructured":"P. Gardner and L. Wischik. Symmetric action calculi (abstract). Manuscript online."},{"key":"33_CR4","unstructured":"P. Gardner and L. Wischik. A process framework based on the \u03c0F calculus. In EXPRESS, volume 27. Elsevier Science Publishers, 1999."},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"K. Honda. Elementary structures in process theory (1): sets with renaming. Mathematical Structures in Computer Science. To appear.","DOI":"10.1017\/S0960129599002947"},{"key":"33_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"K. Honda","year":"1993","unstructured":"K. Honda and N. Yoshida. On reduction-based process semantics. In Foundations of Software Technology and Theoretical Computer Science, LNCS 761. Springer, 1993."},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"M. Merro. Onequators in asynchronous name-passing calculi without matching. InEXPRESS, volume 27. Elsevier Science Publishers, 1999.","DOI":"10.1016\/S1571-0661(05)80295-6"},{"key":"33_CR8","unstructured":"R. Milner. Communicating and mobile systems: the pi calculus. CUP, 1999."},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Robin Milner. Calculi for interaction. Acta Informatica, 33(8), 1996.","DOI":"10.1007\/s002360050067"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"J. Parrow and B. Victor. The fusion calculus: expressiveness and symmetry in mobile processes. In LICS. IEEE, Computer Society Press, 1998.","DOI":"10.1109\/LICS.1998.705654"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. Pi-calculus, internal mobility and agent-passing calculi. Theoretical Computer Science, 167(2), 1996.","DOI":"10.1016\/0304-3975(96)00075-8"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. A theory of bisimulation for the \u03c0-calculus. Acta Informatica, 33, 1996.","DOI":"10.1007\/s002360050036"},{"key":"33_CR13","series-title":"Lect Notes Comput Sci","volume-title":"ICALP","author":"B. Victor","year":"1998","unstructured":"B. Victor and J. Parrow. Concurrent constraints in the fusion calculus. In ICALP, LNCS 1443. Springer, 1998."},{"key":"33_CR14","unstructured":"L. Wischik. 2001. Ph.D. thesis. In preparation."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T18:41:40Z","timestamp":1556390500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}