{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:15Z","timestamp":1750309095047,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,26]],"date-time":"2005-09-26T00:00:00Z","timestamp":1127692800000},"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":[[2005,9,26]]},"DOI":"10.1145\/1088361.1088375","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"72-77","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Modeling Erlang in the pi-calculus"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Noll","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Chanchal Kumar","family":"Roy","sequence":"additional","affiliation":[{"name":"Dublin City University, Dublin, Ireland"}]}],"member":"320","published-online":{"date-parts":[[2005,9,26]]},"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":"The MIT 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"},{"issue":"4","key":"e_1_3_2_1_7_1","first-page":"405","article-title":"A verification tool for Erlang","volume":"4","author":"Gurov D.","year":"2002","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"e_1_3_2_1_8_1","unstructured":"The HD--Automata Laboratory. http:\/\/fmt.isti.cnr.it:8080\/hal\/.  The HD--Automata Laboratory. 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)90008-4"},{"key":"e_1_3_2_1_12_1","unstructured":"The Mobility Workbench. http:\/\/www.it.uu.se\/research\/group\/mobility\/mwb\/.  The Mobility Workbench. 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.5555\/2773800.2773933"},{"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.","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"}],"event":{"name":"ERLANG05: Erlang Workshop 2005 ( co-located with ICFP 2005 )","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Tallinn Estonia","acronym":"ERLANG05"},"container-title":["Proceedings of the 2005 ACM SIGPLAN workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1088361.1088375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1088361.1088375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:44Z","timestamp":1750286624000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1088361.1088375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,26]]},"references-count":17,"alternative-id":["10.1145\/1088361.1088375","10.1145\/1088361"],"URL":"https:\/\/doi.org\/10.1145\/1088361.1088375","relation":{},"subject":[],"published":{"date-parts":[[2005,9,26]]},"assertion":[{"value":"2005-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}