{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:44Z","timestamp":1725664424504},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_195","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:11:32Z","timestamp":1330276292000},"page":"187-201","source":"Crossref","is-referenced-by-count":13,"title":["Complete inference systems for weak bisimulation equivalences in the \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"Huimin","family":"Lin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"M. Boreale and R. DeNicola. Testing equivalence for mobile processes. In CONCUR'92, number 630 in Lecture Notes in Computer Science, pages 2\u201316. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084779"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"M. Boreale and R. DeNicola. A symbolic semantics for the \u03c0-calculus. In CONCUR'94, Lecture Notes in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_24"},{"key":"12_CR3","unstructured":"M. Hennessy. A model for the \u03c0-calculus. Technical Report 8\/91, CSAI, University of Sussex, 1991."},{"key":"12_CR4","unstructured":"M. Hennessy and H. Lin. Symbolic bisimulations. Technical Report 1\/92, CSAI, University of Sussex, 1992. to appear in Theoretical Computer Science."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"M. Hennessy and H. Lin. Proof systems for message-passing process algebras. In CONCUR'93, number 715 in Lecture Notes in Computer Science, pages 202\u2013216, 1993.","DOI":"10.1007\/3-540-57208-2_15"},{"key":"12_CR6","unstructured":"H. Lin. Complete inference systems for weak bisimulation equivalences in the \u03c0-calculus. Report ISCAS-LCS-94-11, Laboratory for Computer Science, Institute of Software, Chinese Academy of Science, 1994."},{"key":"12_CR7","unstructured":"H. Lin. Symbolic bisimulations and proof systems for the \u03c0-calculus. Report 7\/94, Computer Science, University of Sussex, 1994."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"X. Liu. Characterizing bisimulation congruence in the \u03c0-calculus. In CONCUR'94, Lecture Notes in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_26"},{"key":"12_CR9","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"12_CR10","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 proceses, part I, II. Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"12_CR11","unstructured":"J. Parrow and D. Sangiorgi. Algebraic theories for name-passing calculi. Report ECS-LFCS-93-262, LFCS, University of Edinburgh, 1993."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. A theory of bisimulation for the \u03c0-calculus. In CONCUR'93, number 715 in Lecture Notes in Computer Science, 1993.","DOI":"10.1007\/3-540-57208-2_10"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"D. Walker. On bisimulation in the \u03c0-calculus. In CONCUR'94, Lecture Notes in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_25"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_195.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:28Z","timestamp":1605648388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_195"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_195","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}