{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:23:21Z","timestamp":1759638201390},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414131"},{"type":"electronic","value":"9783540444503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44450-5_31","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T04:26:08Z","timestamp":1187238368000},"page":"385-396","source":"Crossref","is-referenced-by-count":5,"title":["The Ground Congruence for Chi Calculus"],"prefix":"10.1007","author":[{"given":"Yuxi","family":"Fu","sequence":"first","affiliation":[]},{"given":"Zhenrong","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,11,24]]},"reference":[{"key":"31_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-63165-8_189","volume-title":"ICALP\u201997","author":"Y. Fu","year":"1997","unstructured":"Y. Fu. A Proof Theoretical Approach to Communications. ICALP\u201997, Lecture Notes in Computer Science 1256, Springer, 325\u2013335, 1997."},{"key":"31_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/3-540-49366-2_19","volume-title":"ASIAN\u201998","author":"Y. Fu","year":"1998","unstructured":"Y. Fu. Bisimulation Lattice of Chi Processes. ASIAN\u201998, Lecture Notes in Computer Science 1538, Springer, 245\u2013262, 1998."},{"key":"31_CR3","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/S0304-3975(99)00037-7","volume":"221","author":"Y. Fu","year":"1999","unstructured":"Y. Fu. Variations on Mobile Processes. Theoretical Computer Science, 221: 327\u2013368, 1999.","journal-title":"Theoretical Computer Science"},{"key":"31_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-48320-9_22","volume-title":"CONCUR\u201999","author":"Y. Fu","year":"1999","unstructured":"Y. Fu. Open Bisimulations of Chi Processes. CONCUR\u201999, Eindhoven, The Netherlands, August 24-27, Lecture Notes in Computer Science 1664, Springer, 304\u2013319, 1999."},{"key":"31_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_42","volume-title":"CONCUR 2000","author":"Y. Fu","year":"2000","unstructured":"Y. Fu, Z. Yang. Chi Calculus with Mismatch. CONCUR 2000, Pennsylvania, USA, August 22-25, Lecture Notes in Computer Science 1877, Springer, 2000."},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"R. Milner, J. Parrow, D. Walker. A Calculus of Mobile Processes. Information and Computation, 100: 1\u201340 (Part I), 41-77 (Part II), Academic Press.","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"31_CR7","unstructured":"J. Parrow, B. Victor. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes."},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1006\/inco.1995.1108","volume":"120","author":"J. Parrow","year":"1995","unstructured":"J. Parrow, D. Sangiorgi. Algebraic Theories for Name-Passing Calculi. Journal of Information and Computation, 120: 174\u2013197, 1995.","journal-title":"Journal of Information and Computation"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44450-5_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:17:05Z","timestamp":1556756225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44450-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414131","9783540444503"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44450-5_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}