{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:22:44Z","timestamp":1729617764342,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/lics.2004.1319597","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"22-31","source":"Crossref","is-referenced-by-count":8,"title":["Spi calculus translated to \/spl pi\/-calculus preserving may-tests"],"prefix":"10.1109","author":[{"given":"M.","family":"Baldamus","sequence":"first","affiliation":[]},{"given":"J.","family":"Parrow","sequence":"additional","affiliation":[]},{"given":"B.","family":"Victor","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"On Bisimulations for the Spi Calculus","author":"borgstr\u00f6m","year":"2003","journal-title":"EPFL IC Technical Report IC\/2003\/"},{"key":"ref11","first-page":"70","article-title":"the Expressive Power of Polyadic Synchronisation in ?-Calculus","volume":"10","author":"carbone","year":"2003","journal-title":"Nordic Journal of Computing"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1006\/inco.1995.1114","article-title":"Testing Equivalences for Mobile Processes","volume":"120","author":"de nicola","year":"1995","journal-title":"Information and Computation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39656-7_13"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45061-0_47"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"journal-title":"A Logical Encoding of the?-Calculus Model Checking Mobile Processes Using Tabled Resolution","year":"2003","author":"ping","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0096"},{"journal-title":"The ?-calculus A theory of mobile processes","year":"2003","author":"sangiorgi","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2740"},{"key":"ref3","article-title":"A Calculus for Cryptographic Protocols","author":"abadi","year":"1998","journal-title":"The Spi Calculus Technical Report 149 SRC Palo Alto"},{"journal-title":"Spi Calculus Translated to?-Calculus Preserving May-Testing Technical Report 2003-063","year":"2003","author":"baldamus","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00090-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00220-X"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930138"},{"key":"ref2","first-page":"36","article-title":"The Spi Calculus","author":"abadi","year":"1997","journal-title":"Conference Proceedings"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360213"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/508791.508847"},{"key":"ref20","first-page":"428","article-title":"The Mobility Workbench - A Tool for the ?-Calculus","author":"victor","year":"1994","journal-title":"Computer Aided Verification"}],"event":{"name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","start":{"date-parts":[[2004,7,17]]},"location":"Turku, Finland","end":{"date-parts":[[2004,7,17]]}},"container-title":["Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9221\/29239\/01319597.pdf?arnumber=1319597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:53:03Z","timestamp":1497613983000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319597\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/lics.2004.1319597","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}