{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:27Z","timestamp":1750308747753,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T00:00:00Z","timestamp":1158364800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159789.1159798","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"38-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards automatic verification of Erlang programs by \u03c0-calculus translation"],"prefix":"10.1145","author":[{"given":"Chanchal Kumar","family":"Roy","sequence":"first","affiliation":[{"name":"Queen's University, Kingston, ON, Canada"}]},{"given":"Thomas","family":"Noll","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Banani","family":"Roy","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, ON, Canada"}]},{"given":"James R.","family":"Cordy","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"J. Armstrong S. Virding M. Williams and C.Wikstr\u00f6m. Concurrent Programming in Erlang. Prentice Hall International 2nd edition 1996.   J. Armstrong S. Virding M. Williams and C.Wikstr\u00f6m. Concurrent Programming in Erlang. Prentice Hall International 2nd edition 1996."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0114-9"},{"volume-title":"Proceedings of the PLI '01 Erlang Workshop","year":"2001","author":"Carlsson R.","key":"e_1_3_2_1_3_1"},{"volume-title":"Uppsala University","year":"2004","author":"Carlsson R.","key":"e_1_3_2_1_4_1"},{"volume-title":"TheMIT Press","year":"1999","author":"Clarke E.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872512"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100071"},{"key":"e_1_3_2_1_8_1","unstructured":"The HD-Automata Laboratory (HAL). http:\/\/fmt.isti.cnr.it:8080\/hal\/.  The HD-Automata Laboratory (HAL). http:\/\/fmt.isti.cnr.it:8080\/hal\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/978-3-7091-6355-9_11","volume-title":"Tool Support for System Specification, Development, and Verification, Advances in Computing Science","author":"Lange M.","year":"1999"},{"key":"e_1_3_2_1_10_1","unstructured":"R.\n       \n      Milner\n    .\n      \n  \n   \n  Communication and Concurrency\n  . \n  International Series in Computer Science\n  . \n  Prentice-Hall 1989\n  .   R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice-Hall 1989."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"e_1_3_2_1_12_1","unstructured":"The Mobility Workbench (MWB). http:\/\/www.it.uu.se\/research\/group\/mobility\/mwb\/.  The Mobility Workbench (MWB). http:\/\/www.it.uu.se\/research\/group\/mobility\/mwb\/."},{"volume":"2001","volume-title":"Proceedings of First Workshop on Language Descriptions, Tools and Applications (ETAPS\/LDTA'01)","author":"Noll T.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.01.037"},{"key":"e_1_3_2_1_15_1","unstructured":"Pi2Promela. http:\/\/lcs.ios.ac.cn\/~wp\/pi2pro.html.  Pi2Promela. http:\/\/lcs.ios.ac.cn\/~wp\/pi2pro.html."},{"volume-title":"RWTH Aachen University","year":"2004","author":"Roy C. K.","key":"e_1_3_2_1_16_1"},{"volume-title":"Royal Institute of Technology","year":"1999","author":"Wiklander C.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088375"},{"key":"e_1_3_2_1_19_1","unstructured":"Spatial LogicModel Checker (SLMC). http:\/\/www-ctp.di.fct.unl.pt\/SLMC\/  Spatial LogicModel Checker (SLMC). http:\/\/www-ctp.di.fct.unl.pt\/SLMC\/"},{"volume-title":"Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004)","year":"2004","author":"Arts T.","key":"e_1_3_2_1_20_1"},{"volume-title":"RMIT University","year":"2001","author":"Castro M.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","unstructured":"The SPIN Model Checker. http:\/\/spinroot.com\/spin\/whatispin.html  The SPIN Model Checker. http:\/\/spinroot.com\/spin\/whatispin.html"},{"key":"e_1_3_2_1_23_1","unstructured":"The \u03bcCRL Language. http:\/\/homepages.cwi.nl\/~mcrl\/  The \u03bcCRL Language. http:\/\/homepages.cwi.nl\/~mcrl\/"},{"key":"e_1_3_2_1_24_1","unstructured":"Construction and Analysis of Distributed Processes(CADP) Tool. http:\/\/www.inrialpes.fr\/vasy\/cadp\/  Construction and Analysis of Distributed Processes(CADP) Tool. http:\/\/www.inrialpes.fr\/vasy\/cadp\/"},{"key":"e_1_3_2_1_25_1","unstructured":"The Behave Project. http:\/\/research.microsoft.com\/behave\/  The Behave Project. http:\/\/research.microsoft.com\/behave\/"},{"volume-title":"Proc. of Erlang Workshop at PLI'01","year":"2001","author":"Leucker M.","key":"e_1_3_2_1_26_1"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Portland Oregon USA","acronym":"ICFP06"},"container-title":["Proceedings of the 2006 ACM SIGPLAN  workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159789.1159798","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159789.1159798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:18Z","timestamp":1750278138000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159789.1159798"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":26,"alternative-id":["10.1145\/1159789.1159798","10.1145\/1159789"],"URL":"https:\/\/doi.org\/10.1145\/1159789.1159798","relation":{},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}