{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T02:59:06Z","timestamp":1768273146673,"version":"3.49.0"},"reference-count":19,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2004,4,1]],"date-time":"2004-04-01T00:00:00Z","timestamp":1080777600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3406,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2004,4]]},"DOI":"10.1016\/s1571-0661(05)82539-3","type":"journal-article","created":{"date-parts":[[2005,5,19]],"date-time":"2005-05-19T09:46:30Z","timestamp":1116495990000},"page":"261-281","source":"Crossref","is-referenced-by-count":18,"special_numbering":"C","title":["An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0"],"prefix":"10.1016","volume":"71","author":[{"given":"Prasanna","family":"Thati","sequence":"first","affiliation":[]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[]},{"given":"Narciso","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)82539-3_BIB1","series-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha","year":"1986"},{"issue":"9","key":"10.1016\/S1571-0661(05)82539-3_BIB2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/83880.84528","article-title":"Concurrent object-oriented programming","volume":"33","author":"Agha","year":"1990","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB3","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1006\/inco.1995.1114","article-title":"Testing equivalence for mobile processes","volume":"120","author":"Boreale","year":"1995","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB4","series-title":"Proceedings 14th IEEE Symposium on Logic in Computer Science, LICS\u203299, Trento, Italy, July 2-5, 1999","first-page":"157","article-title":"Proof techniques for cryptographic processes","author":"Boreale","year":"1999"},{"issue":"2","key":"10.1016\/S1571-0661(05)82539-3_BIB5","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1006\/inco.2001.3080","article-title":"Trace and testing equivalence on asynchronous processes","volume":"172","author":"Boreale","year":"2002","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB6","series-title":"Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA\u203296, Asilomar, California, September 3-6, 1996, volume 4 of Electronic Notes in Theoretical Computer Science","first-page":"35","article-title":"ELAN: A logical framework based on computational systems","author":"Borovansk\u00fd","year":"1996"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB7","series-title":"Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18-20, 2000, volume 36 of Electronic Notes in Theoretical Computer Science","first-page":"297","article-title":"Towards Maude 2.0","author":"Clavel","year":"2000"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB8","series-title":"Automata, Languages and Programming, 24th International Colloquium, ICALP\u203297, Bologna, Italy, July 7-11, 1997, Proceedings, volume 1256 of Lecture Notes in Computer Science","first-page":"369","article-title":"A semantically sound actor translation","author":"Mason","year":"1997"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB9","series-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000, Proceedings, volume 1872 of Lecture Notes in Computer Science","first-page":"390","article-title":"Local \u03c0-calculus at work: Mobile objects as mobile processes","author":"Merro","year":"2000"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB10","series-title":"Automata, Languages and Programming, 25th International Colloquium, ICALP\u203298, Aalborg, Denmark, July 13-17, 1998, Proceedings, volume 1443 of Lecture Notes in Computer Science","first-page":"856","article-title":"On asynchrony in name-passing calculi","author":"Merro","year":"1998"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes (Parts I and II)","volume":"100","author":"Milner","year":"1992","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB12","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","article-title":"Testing equivalence for processes","volume":"34","author":"De Nicola","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB13","series-title":"Technical Report DAIMI FN-19","article-title":"A structural approach to operational semantics","author":"Plotkin","year":"1981"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB14","series-title":"Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18-20, 2000, volume 36 of Electronic Notes in Theoretical Computer Science","first-page":"71","article-title":"CINNI \u2014 A generic calculus of explicit substitutions and its application to \u03bb, \u03c3 and \u03c0-calculi","author":"Stehr","year":"2000"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB15","series-title":"Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA \u203296, Asilomar, California, September 3-6, 1996, volume 4 of Electronic Notes in Theoretical Computer Science","first-page":"360","article-title":"An actor rewriting theory","author":"Talcott","year":"1996"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB16","series-title":"Proceedings IFIP TC6\/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands","first-page":"147","article-title":"A theory of may testing for actors","author":"Thati","year":"2002"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB17","series-title":"Algebraic Methodology and Software Technology, 9th International Conference, AM AST 2002, Saint- Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, volume 2422 of Lecture Notes in Computer Science","first-page":"223","article-title":"A theory of may testing for asynchronous calculi with locality and no name matching","author":"Thati","year":"2002"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB18","series-title":"Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19-21, 2002, volume 71 of Electronic Notes in Theoretical Computer Science","first-page":"239","article-title":"Implementing CCS in Maude 2","author":"Verdejo","year":"2002"},{"key":"10.1016\/S1571-0661(05)82539-3_BIB19","series-title":"Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA\u203296, Asilomar, California, September 3-6, 1996, volume 4 of Electronic Notes in Theoretical Computer Science","first-page":"51","article-title":"Input\/output for ELAN","author":"Viry","year":"1996"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105825393?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105825393?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,26]],"date-time":"2019-01-26T05:57:58Z","timestamp":1548482278000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105825393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,4]]},"references-count":19,"alternative-id":["S1571066105825393"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)82539-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2004,4]]}}}