{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T03:22:51Z","timestamp":1648956171431},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2012,8,17]],"date-time":"2012-08-17T00:00:00Z","timestamp":1345161600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1007\/s11432-012-4660-1","type":"journal-article","created":{"date-parts":[[2012,8,16]],"date-time":"2012-08-16T16:47:00Z","timestamp":1345135620000},"page":"2031-2043","source":"Crossref","is-referenced-by-count":0,"title":["Behavioural equivalences of a probabilistic pi-calculus"],"prefix":"10.1007","volume":"55","author":[{"given":"WeiEn","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YongZhi","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HanPin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,17]]},"reference":[{"key":"4660_CR1","volume-title":"Handbook of Process Algebra","author":"J. A. Bergstra","year":"2001","unstructured":"Bergstra J A, Ponse A, Smolka S A, et al. Handbook of Process Algebra. Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo: Elsevier Science, 2001"},{"key":"4660_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner R. A Calculus of Communicating Systems. Lect Notes Comput Sci, Vol 92. New York: Springer-Verlag, 1980"},{"key":"4660_CR3","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R. Communication and Concurrency. Englewood Cliffs, New Jersey: Prentice-Hall, 1989"},{"key":"4660_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J. A. Bergstra","year":"1985","unstructured":"Bergstra J A, Klop J W. Algebra of communicating processes with abstraction. Theor Comput Sci, 1985, 37: 77\u2013121","journal-title":"Theor Comput Sci"},{"key":"4660_CR5","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"Hoare C A R. Communicating sequential processes. Commun ACM, 1978, 21: 666\u2013677","journal-title":"Commun ACM"},{"key":"4660_CR6","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare C A R. Communicating Sequential Processes. Englewood Cliffs, New Jersey: Prentice-Hall, 1985"},{"key":"4660_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D. A calculus of mobile processes, parts I and II. Inf Comput, 1992, 100: 1\u201377","journal-title":"Inf Comput"},{"key":"4660_CR8","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner R. Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge: Cambridge University Press, 1999"},{"key":"4660_CR9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. De Nicola","year":"1984","unstructured":"De Nicola R, Hennessy M C B. Testing equivalences for processes. Theor Comput Sci, 1984, 34: 83\u2013133","journal-title":"Theor Comput Sci"},{"key":"4660_CR10","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-48835-9_10","volume-title":"Agent Mediated Electronic Commerce","author":"J. Padget","year":"1999","unstructured":"Padget J, Bradford R. A \u03c0-calculus model of a spanish fish market: preliminary report. In: Noriega P, Sierra C, eds. Agent Mediated Electronic Commerce. Berlin\/Heidelberg: Springer, 1999. 166\u2013188"},{"key":"4660_CR11","unstructured":"Boudol G. Asynchrony and the \u03c0-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis, 1992"},{"key":"4660_CR12","doi-asserted-by":"crossref","unstructured":"Honda K, Tokoro M. An object calculus for asynchronous communication. In: America P, ed. Proceedings of European Conference on Object-Oriented Programming, 1991. 133\u2013147","DOI":"10.1007\/BFb0057019"},{"key":"4660_CR13","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/266420.266432","volume-title":"Proceedings of the 4th ACM Conference on Computer and Communications Security","author":"M. Abadi","year":"1997","unstructured":"Abadi M, Gordon A D. A calculus for cryptographic protocols: the spi calculus. In: Proceedings of the 4th ACM Conference on Computer and Communications Security. New York: ACM, 1997. 36\u201347"},{"key":"4660_CR14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-540-24611-4_3","volume-title":"Validation of Stochastic Systems","author":"N. L\u00f3pez","year":"2004","unstructured":"L\u00f3pez N, N\u00fa\u00f1ez M. An overview of probabilistic process algebras and their equivalences. In: Baier C, Haverkort B, Hermanns H, et al., eds. Validation of Stochastic Systems. Berlin\/Heidelberg: Springer, 2004. 89\u2013123"},{"key":"4660_CR15","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"122","author":"J. Baeten","year":"1995","unstructured":"Baeten J, Bergstra J, Smolka S. Axiomatizing probabilistic processes: ACP with generative probabilities. Inf Comput, 1995, 122: 234\u2013255","journal-title":"Inf Comput"},{"key":"4660_CR16","doi-asserted-by":"crossref","unstructured":"Hansson H, Jonsson B. A calculus for communicating systems with time and probabilities. In: Proceedings of the 11th Real-Time Systems Symposium, Lake Buena Vista, 1990. 278\u2013287","DOI":"10.1109\/REAL.1990.128759"},{"key":"4660_CR17","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0304-3975(94)00286-0","volume":"152","author":"K. Seidel","year":"1995","unstructured":"Seidel K. Probabilistic communicating processes. Theor Comput Sci, 1995, 152: 219\u2013249","journal-title":"Theor Comput Sci"},{"key":"4660_CR18","doi-asserted-by":"crossref","unstructured":"Herescu O M, Palamidessi C. Probabilistic asynchronous \u03c0-calculus. In: Tiuryn J, ed. Proceedings of the 3rd International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. 146\u2013160","DOI":"10.1007\/3-540-46432-8_10"},{"key":"4660_CR19","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns H, Herzog U, Katoen J-P. Process algebra for performance evaluation. Theor Comput Sci, 2002, 274: 43\u201387","journal-title":"Theor Comput Sci"},{"key":"4660_CR20","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami C. Stochastic \u03c0-calculus. Comput J, 1995, 38: 578\u2013589","journal-title":"Comput J"},{"key":"4660_CR21","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1007\/s00236-005-0168-0","volume":"41","author":"M. Ying","year":"2005","unstructured":"Ying M. pi-calculus with noisy channels. Acta Inform, 2005, 41: 525\u2013593","journal-title":"Acta Inform"},{"key":"4660_CR22","doi-asserted-by":"crossref","unstructured":"Cao Y. Reliability of mobile processes with noisy channels. IEEE Trans Comput, 2011, doi: 10.1109\/TC.2011.147, in press","DOI":"10.1109\/TC.2011.147"},{"key":"4660_CR23","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.tcs.2012.03.002","volume":"433","author":"S. Huang","year":"2012","unstructured":"Huang S, Cao Y, Wang H, et al. Value-passing CCS with noisy channels. Theor Comput Sci, 2012, 433: 43\u201359","journal-title":"Theor Comput Sci"},{"key":"4660_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/comjnl\/bxn006","volume":"53","author":"Y. Cao","year":"2010","unstructured":"Cao Y. A hierarchy of behavioral equivalences in the \u03c0-calculus with noisy channels. Comput J, 2010, 53: 3\u201320","journal-title":"Comput J"},{"key":"4660_CR25","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala R, Lynch N. Probabilistic simulations for probabilistic processes. Nord J Comput, 1995, 2: 250\u2013273","journal-title":"Nord J Comput"},{"key":"4660_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-24611-4_1","volume-title":"Validation of Stochastic Systems","author":"A. Sokolova","year":"2004","unstructured":"Sokolova A, De Vink E P. Probabilistic automata: system types, parallel composition and comparison. In: Baier C, Haverkort B R, Hermanns H, et al., eds. Validation of Stochastic Systems. Berlin\/Heidelberg: Springer, 2004. 1\u201344"},{"key":"4660_CR27","doi-asserted-by":"crossref","unstructured":"van Glabbeek R J, Smolka S A, Steffen B, et al. Reactive, generative, and stratified models of probabilistic processes. In: Mitchell J C, ed. Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, 1990. 130\u2013141","DOI":"10.1109\/LICS.1990.113740"},{"key":"4660_CR28","unstructured":"Giacalone A, Jou C-C, Smolka S A. Algebraic reasoning for probabilistic concurrent systems. In: Broy M, Jones C B, eds. Proceedings of Working Conference on Programming Concepts and Methods IFIP TC2, 1990. 443\u2013458"},{"key":"4660_CR29","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner R. Calculi for synchrony and asynchrony. Theor Comput Sci, 1983, 25: 267\u2013310","journal-title":"Theor Comput Sci"},{"key":"4660_CR30","doi-asserted-by":"crossref","unstructured":"Bhargava M, Palamidessi C. Probabilistic anonymity. In: Abadi M, De Alfaro L, eds. Proceedings of the 16th International Conference on Concurrency Theory, 2005. 171\u2013185","DOI":"10.1007\/11539452_16"},{"key":"4660_CR31","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.entcs.2006.07.015","volume":"164","author":"S. Pradalier","year":"2006","unstructured":"Pradalier S, Palamidessi C. Expressiveness of probabilistic \u03c0-calculus. Electr Notes Theor Comput Sci, 2006, 164: 119\u2013136","journal-title":"Electr Notes Theor Comput Sci"},{"key":"4660_CR32","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/11580850_9","volume-title":"Trustworthy Global Computing","author":"K. Chatzikokolakis","year":"2005","unstructured":"Chatzikokolakis K, Palamidessi C. A framework for analyzing probabilistic protocols and its application to the partial secrets exchange. In: De Nicola R, Sangiorgi D, eds. Trustworthy Global Computing. Berlin\/Heidelberg: Springer, 2005. 146\u2013162"},{"key":"4660_CR33","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.entcs.2007.07.009","volume":"190","author":"D. Varacca","year":"2007","unstructured":"Varacca D, Yoshida N. Probabilistic \u03c0-calculus and event structures. Electr Notes Theor Comput Sci, 2007, 190: 147\u2013166","journal-title":"Electr Notes Theor Comput Sci"},{"key":"4660_CR34","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.tcs.2006.01.015","volume":"358","author":"D. Varacca","year":"2006","unstructured":"Varacca D, V\u00f6lzer H, Winskel G. Probabilistic event structures and domains. Theor Comput Sci, 2006, 358: 173\u2013199","journal-title":"Theor Comput Sci"},{"key":"4660_CR35","volume-title":"The \u03c0-calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi D, Walker D. The \u03c0-calculus: A Theory of Mobile Processes. Cambridge: Cambridge University Press, 2001"},{"key":"4660_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. G. Larsen","year":"1991","unstructured":"Larsen K G, Skou A. Bisimulation through probabilistic testing. Inf Comput, 1991, 94: 1\u201328","journal-title":"Inf Comput"},{"key":"4660_CR37","doi-asserted-by":"crossref","unstructured":"Wu P, Palamidessi C, Lin H. Symbolic bisimulations for probabilistic systems. In: the 4th International Conference on the Quantitative Evaluation of Systems, Edinburgh, 2007. 179\u2013188","DOI":"10.1109\/QEST.2007.11"},{"key":"4660_CR38","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra","author":"J. Parrow","year":"2001","unstructured":"Parrow J. An introduction to the \u03c0-calculus. In: Bergstra J, Ponse A, Smolka S A, eds. Handbook of Process Algebra. Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo: Elsevier Science, 2001. 479\u2013543"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4660-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-012-4660-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4660-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T18:41:45Z","timestamp":1562092905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-012-4660-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,17]]},"references-count":38,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["4660"],"URL":"https:\/\/doi.org\/10.1007\/s11432-012-4660-1","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,17]]}}}