{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:01:26Z","timestamp":1648980086523},"reference-count":22,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2013,4]]},"abstract":"<jats:p> In line with the framework of Theory of Interaction proposed by Yuxi Fu, we formalize the asynchronous theory in model independent way. Borrowing the idea from Church-Turing Thesis, we introduce \u2102-calculus as a minimal interaction model. We give model independent characterization for asynchronous bisimulation equivalence which is generalized to subbisimilarity used as the criteria for Interaction Completeness of interaction models. We present an encoding from \u2102-calculus to asynchronous \u03c0-calculus and prove that it satisfies the subbisimilarity statements. <\/jats:p>","DOI":"10.1142\/s0129054113500081","type":"journal-article","created":{"date-parts":[[2013,7,4]],"date-time":"2013-07-04T04:23:34Z","timestamp":1372911814000},"page":"349-373","source":"Crossref","is-referenced-by-count":0,"title":["FROM COMPUTING TO INTERACTION: ON THE EXPRESSIVENESS OF ASYNCHRONOUS PI-CALCULUS"],"prefix":"10.1142","volume":"24","author":[{"given":"HOUGUANG","family":"YUE","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Shandong University of Finance and Economics, Jinan, Shandong, 250014, P. R. China"},{"name":"BASICS, Department of Computer Science, Shanghai Jiaotong University, Shanghai 200240, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2013,7,3]]},"reference":[{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.075"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00223-5"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_28"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.009"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.11.006"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00037-7"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.11.011"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039066"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_28"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057019"},{"key":"p_23","first-page":"21","volume":"615","author":"Honda M.","year":"1991","journal-title":"Lecture Notes in Computer Science"},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.007"},{"key":"p_26","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004323"},{"key":"p_27","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001407"},{"key":"p_28","doi-asserted-by":"publisher","DOI":"10.1145\/151233.151240"},{"key":"p_30","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"p_31","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2822"},{"key":"p_32","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129503004043"},{"key":"p_37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56610-4_62"},{"key":"p_38","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1042"},{"key":"p_40","doi-asserted-by":"publisher","DOI":"10.1145\/1516507.1516510"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054113500081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T19:41:17Z","timestamp":1565120477000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054113500081"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":22,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2013,7,3]]},"published-print":{"date-parts":[[2013,4]]}},"alternative-id":["10.1142\/S0129054113500081"],"URL":"https:\/\/doi.org\/10.1142\/s0129054113500081","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4]]}}}