{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:06:59Z","timestamp":1729645619319,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2004.1342854","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"330-335","source":"Crossref","is-referenced-by-count":0,"title":["Towards a modal logic for \u03c0-calculus"],"prefix":"10.1109","author":[{"family":"Taolue Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Tingting Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jian Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0304-3975(96)00325-8","article-title":"On the Decidability of Process Equivalences for the pi-Calculus","author":"dam","year":"1997","journal-title":"Theoretical Computer Science 183"},{"key":"ref3","first-page":"25","volume":"129","author":"dam","year":"1996","journal-title":"Model Checking Mobile Processes Information and Computation"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1007\/BFb0055095","article-title":"Checking Strong\/weak Bisimulation Equivalence and Observation Congruence for the ?-calculus. In ICALP'98","author":"li","year":"1998","journal-title":"Lecture Notes in Computer Science 1443"},{"key":"ref5","article-title":"Logic for Concurrency and Synchronisation","author":"dam","year":"2003","journal-title":"Studies in Logic and Computation"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"milner","year":"1993","journal-title":"Modal Logics for Mobile Process Theoretical Computer Science"},{"key":"ref7","first-page":"1","volume":"100","author":"milner","year":"1992","journal-title":"A Calculus of Mobile Processes Part I Information and Computation"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45500-0_1","article-title":"A Spatical Logic for Concurrency (Part I). TACS'2001","author":"caires","year":"2001","journal-title":"Lecture Notes in Computer Science 2215"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90043-2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61648-9_50"}],"event":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","location":"Hong Kong"},"container-title":["Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9304\/29570\/01342854.pdf?arnumber=1342854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,19]],"date-time":"2018-12-19T08:07:39Z","timestamp":1545206859000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1342854\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2004.1342854","relation":{},"subject":[]}}