{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T01:48:03Z","timestamp":1648604883007},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comput Sci Technol"],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1007\/s11390-007-9063-1","type":"journal-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T01:24:26Z","timestamp":1189733066000},"page":"575-579","source":"Crossref","is-referenced-by-count":0,"title":["Barbed Congruence of Asymmetry and Mismatch"],"prefix":"10.1007","volume":"22","author":[{"given":"Xiao-Ju","family":"Dong","sequence":"first","affiliation":[]},{"given":"Yu-Xi","family":"Fu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,9,13]]},"reference":[{"key":"9063_CR1","doi-asserted-by":"crossref","unstructured":"Fu Y. A proof theoretical approach to communications. In Proc. Int. Colloquium on Automata, Languages and Programming, LNCS 1256, Bologna, Italy, 1997, pp.325\u2013335.","DOI":"10.1007\/3-540-63165-8_189"},{"issue":"6","key":"9063_CR2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BF02946493","volume":"13","author":"Y Fu","year":"1998","unstructured":"Fu Y. Reaction graphs. Journal of Computer Science and Technology, 1998, 13(6): 510\u2013530.","journal-title":"Journal of Computer Science and Technology"},{"key":"9063_CR3","doi-asserted-by":"crossref","unstructured":"Victor B, Parrow J. Concurrent constraints in the fusion calculus. In Proc. Int. Colloquium on Automata, Languages and Programming, Aalborg, Denmark, 1998, pp.455\u2013469.","DOI":"10.1007\/BFb0055075"},{"key":"9063_CR4","doi-asserted-by":"crossref","unstructured":"Parrow J, Victor B. The tau-laws of fusion. In Proc. Int. Conf. Concurrency Theory, LNCS 1466, Nice, France, 1998, pp.99\u2013114.","DOI":"10.1007\/BFb0055618"},{"key":"9063_CR5","doi-asserted-by":"crossref","unstructured":"Fu Y. Bisimulation lattice of chi processes. In Proc. ASIAN, Pisa, Italy, 1996, pp.245\u2013262.","DOI":"10.1007\/3-540-49366-2_19"},{"issue":"1\/2","key":"9063_CR6","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/S0304-3975(99)00037-7","volume":"221","author":"Y Fu","year":"1999","unstructured":"Fu Y. Variations on mobile processes. Theoretical Computer Science, 1999, 221(1\/2): 327\u2013368.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9063_CR7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0890-5401(03)00061-0","volume":"184","author":"Y Fu","year":"2003","unstructured":"Fu Y. Bisimulation congruence of chi calculus. Information and Computation, 2003, 184(1): 201\u2013226.","journal-title":"Information and Computation"},{"key":"9063_CR8","unstructured":"Parrow J, Victor B. The update calculus. In Proc. Int. Colloquium on Automata, Languages and Programming, LNCS 1119, Manila, The Philippines, 1998, pp.389\u2013405."},{"key":"9063_CR9","doi-asserted-by":"crossref","unstructured":"Fu Y. Open bisimulations of chi processes. In Proc. Int. Colloquium on Automata, Languages and Programming, LNCS 1664, Eindhoven, The Netherlands, 1999, pp.304\u2013319.","DOI":"10.1007\/3-540-48320-9_22"},{"key":"9063_CR10","doi-asserted-by":"crossref","unstructured":"Fu Y, Yang Z. Chi calculus with mismatch. In Proc. Int. Colloquium on Automata, Languages and Programming, LNCS 1877, University Park, PA, USA, 2000, pp.596\u2013610.","DOI":"10.1007\/3-540-44618-4_42"},{"issue":"1","key":"9063_CR11","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1016\/S0304-3975(02)00373-0","volume":"290","author":"Y Fu","year":"2003","unstructured":"Fu Y, Yang Z. Understanding the mismatch combinator in chi calculus. Theoretical Computer Science, 2003, 290(1): 779\u2013830.","journal-title":"Theoretical Computer Science"},{"key":"9063_CR12","unstructured":"Dong X. Algebraic theory of asymmetric chi calculus with mismatch [Dissertation]. Shanghai Jiao Tong Univ., China, 2004."},{"key":"9063_CR13","doi-asserted-by":"crossref","unstructured":"Milner R, Sangiorgi D. Barbed bisimulation. In Proc. Automata, Languages and Programming, Wien, Austria, 1992, pp.685\u2013695.","DOI":"10.1007\/3-540-55719-9_114"},{"key":"9063_CR14","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner R. Communication and Concurrency. New York: Prentice Hall, 1989."},{"issue":"1\u20133","key":"9063_CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0304-3975(03)00202-0","volume":"308","author":"Y Fu","year":"2003","unstructured":"Fu Y, Yang Z. Tau laws for pi calculus. Theoretical Computer Science, 2003, 308(1\u20133): 55\u2013130.","journal-title":"Theoretical Computer Science"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-007-9063-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-007-9063-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-007-9063-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:32:39Z","timestamp":1559399559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-007-9063-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["9063"],"URL":"https:\/\/doi.org\/10.1007\/s11390-007-9063-1","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}