{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:17:35Z","timestamp":1649067455917},"reference-count":24,"publisher":"Informa UK Limited","issue":"12","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1080\/00207160903243148","type":"journal-article","created":{"date-parts":[[2009,12,12]],"date-time":"2009-12-12T11:11:24Z","timestamp":1260616284000},"page":"2040-2060","source":"Crossref","is-referenced-by-count":0,"title":["Applying a testing approach to the Calculus of Fair Ambients"],"prefix":"10.1080","volume":"86","author":[{"given":"Xiaojuan","family":"Cai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Han","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1114"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48749-2_4"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292550"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325742"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/S0890-5401(01)93121-9","volume":"177","author":"Cardelli L.","year":"2002","journal-title":"Inform. Comput."},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"CIT0008","first-page":"313","volume-title":"Proceedings of LICS\u201907","author":"Deng Y.","year":"2007"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/BF02949827"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.041"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-007-0038-z"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003742"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(01)00172-7"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjdc.3.369"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325741"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503280"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119482"},{"key":"CIT0019","first-page":"584","volume-title":"Proceedings of ICALP\u201903","volume":"2179","author":"Merro M.","year":"2003"},{"key":"CIT0020","volume-title":"Tech. Rep","volume":"1154","author":"Milner R.","year":"1990"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"CIT0022","doi-asserted-by":"crossref","unstructured":"Rathke, J. and Sobocinski, P. 2008.Deriving structural labelled transitions for mobile ambients, Vol. 5201, 462\u2013476. Berlin: Lecture Notes in Computer Science. Proceedings of CONCUR\u201908, Springer","DOI":"10.1007\/978-3-540-85361-9_36"},{"key":"CIT0023","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D. and Walker, D. 2001.On barbed equivalence in \u03c0-calculus, Vol. 2154, 292\u2013304. Berlin: Lecture Notes in Computer Science. Proceedings of CONCUR\u201901, Springer","DOI":"10.1007\/3-540-44685-0_20"},{"key":"CIT0024","doi-asserted-by":"crossref","unstructured":"Teller, D., Zimmer, P. and Hirschkoff, D. 2002.Using ambients to control resources, Vol. 2421, 288\u2013303. Berlin: Lecture Notes in Computer Science. Proceedings of CONCUR\u201902, Springer","DOI":"10.1007\/3-540-45694-5_20"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80415-8"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207160903243148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:07:01Z","timestamp":1558703221000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207160903243148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":24,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["10.1080\/00207160903243148"],"URL":"https:\/\/doi.org\/10.1080\/00207160903243148","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12]]}}}