{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:44Z","timestamp":1772163944677,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"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":[[2007,10]]},"DOI":"10.1145\/1291151.1291171","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T08:51:38Z","timestamp":1192351898000},"page":"125-136","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":42,"title":["McErlang"],"prefix":"10.1145","author":[{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"first","affiliation":[{"name":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"}]},{"given":"Hans","family":"Svensson","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1007\/978-3-540-27813-9_42","volume-title":"Zing: A model checker for concurrent software","author":"Andrews T.","year":"2004","unstructured":"T. Andrews , S. Qadeer , S. K. Rajamani , J. Rehof , and Y. Xie . Zing: A model checker for concurrent software . In Lecture Notes in Computer Science , volume Vol. 3114 , pages 484 -- 487 , Jan 2004 . T. Andrews, S. Qadeer, S. K. Rajamani, J. Rehof, and Y. Xie. Zing: A model checker for concurrent software. In Lecture Notes in Computer Science, volume Vol. 3114, pages 484--487, Jan 2004."},{"key":"e_1_3_2_1_2_1","unstructured":"J. Armstrong. Programming Erlang - Software for a Concurrent World. The Pragmatic Programmers http:\/\/books.pragprog.com\/titles\/jaerlang 2007.   J. Armstrong. Programming Erlang - Software for a Concurrent World. The Pragmatic Programmers http:\/\/books.pragprog.com\/titles\/jaerlang 2007."},{"key":"e_1_3_2_1_4_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong J.","year":"1996","unstructured":"J. Armstrong , R. Virding , C. Wikstr\u00f6m , and M. Williams . Concurrent Programming in Erlang . Prentice-Hall , 1996 . J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, 1996."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/636517.636524"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 2003 Erlang User Conference (EUC)","author":"Arts T.","year":"2003","unstructured":"T. Arts and J. Hughes . QuickCheck for Erlang . In Proceedings of the 2003 Erlang User Conference (EUC) , 2003 . T. Arts and J. Hughes. QuickCheck for Erlang. In Proceedings of the 2003 Erlang User Conference (EUC), 2003."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004)","author":"Arts T.","year":"2004","unstructured":"T. Arts , C. Benac Earle , and J. J. S\u00e1nchez Penas . Translating Erlang to mucrl . In Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004) . IEEE Computer Society Press , June 2004 . T. Arts, C. Benac Earle, and J. J. S\u00e1nchez Penas. Translating Erlang to mucrl. In Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004). IEEE Computer Society Press, June 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0114-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_10"},{"key":"e_1_3_2_1_10_1","first-page":"10","article-title":"AXD 301 - a new generation ATM switching system","volume":"1","author":"Blau S.","year":"1998","unstructured":"S. Blau and J. Rooth . AXD 301 - a new generation ATM switching system . Ericsson Review , 1 : 10 -- 17 , 1998 . S. Blau and J. Rooth. AXD 301 - a new generation ATM switching system. Ericsson Review, 1: 10--17, 1998.","journal-title":"Ericsson Review"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088376"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.588622"},{"key":"e_1_3_2_1_13_1","unstructured":"Erlang 5.5\/OTP R11B. The Erlang\/OTP Team. http:\/\/www.erlang.org\/doc\/doc-5.5\/doc\/highlights.html.  Erlang 5.5\/OTP R11B. The Erlang\/OTP Team. http:\/\/www.erlang.org\/doc\/doc-5.5\/doc\/highlights.html."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647765.735840"},{"key":"e_1_3_2_1_16_1","volume-title":"Implementing WS-CDL. In Proceedings of the second Spanish workshop on Web Technologies (JSWEB 2006","author":"Fredlund L.","year":"2006","unstructured":"L. Fredlund . Implementing WS-CDL. In Proceedings of the second Spanish workshop on Web Technologies (JSWEB 2006 ). Universidade de Santiago de Compostela , November 2006 . L. Fredlund. Implementing WS-CDL. In Proceedings of the second Spanish workshop on Web Technologies (JSWEB 2006). Universidade de Santiago de Compostela, November 2006."},{"key":"e_1_3_2_1_17_1","volume-title":"In proceedings of the 2007 Eurocast conference","author":"Fredlund L.","year":"2007","unstructured":"L. Fredlund and J. J. S\u00e1nchez Penas . Model checking a VoD server using McErlang . In In proceedings of the 2007 Eurocast conference , Feb 2007 . L. Fredlund and J. J. S\u00e1nchez Penas. Model checking a VoD server using McErlang. In In proceedings of the 2007 Eurocast conference, Feb 2007."},{"key":"e_1_3_2_1_18_1","volume-title":"International Journal on Software Tools for Technology Transfer (STTT), 4 (4): 405--420","author":"Fredlund L.","year":"2003","unstructured":"L. Fredlund , D. Gurov , T. Noll , M. Dam , T. Arts , and G. Chugunov . A verification tool for Erlang . International Journal on Software Tools for Technology Transfer (STTT), 4 (4): 405--420 , Aug 2003 . L. Fredlund, D. Gurov, T. Noll, M. Dam, T. Arts, and G. Chugunov. A verification tool for Erlang. International Journal on Software Tools for Technology Transfer (STTT), 4 (4): 405--420, Aug 2003."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.733607"},{"key":"e_1_3_2_1_20_1","volume-title":"Prentice-Hall","author":"Holzmann G.","year":"1991","unstructured":"G. Holzmann . Design and Validation of Computer Protocols . Prentice-Hall , 1991 . G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991."},{"key":"e_1_3_2_1_21_1","first-page":"23","volume-title":"Proc. Second SPIN Workshop","author":"Holzmann G.","year":"1996","unstructured":"G. Holzmann , D. Peled , and M. Yannakakis . On nested depth first search . In Proc. Second SPIN Workshop , pages 23 -- 32 . American Mathematical Society , 1996 . G. Holzmann, D. Peled, and M. Yannakakis. On nested depth first search. In Proc. Second SPIN Workshop, pages 23--32. American Mathematical Society, 1996."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.995426"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317908"},{"key":"e_1_3_2_1_24_1","volume-title":"Distributed Algorithms","author":"Lynch N.","year":"1996","unstructured":"N. Lynch . Distributed Algorithms . Morgan Kaufmann Publishers , 1996 . N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.491576"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383071"},{"key":"e_1_3_2_1_28_1","first-page":"1","article-title":"Open telecom platform","author":"Torstendahl S.","year":"1997","unstructured":"S. Torstendahl . Open telecom platform . Ericsson Review , 1 , 1997 . S. Torstendahl. Open telecom platform. Ericsson Review, 1, 1997.","journal-title":"Ericsson Review"},{"key":"e_1_3_2_1_29_1","first-page":"332","volume-title":"An automata-theoretic approach to automatic program verification","author":"Vardi M. Y.","year":"1986","unstructured":"M. Y. Vardi and P. Wolper . An automata-theoretic approach to automatic program verification . pages 332 -- 344 , 1986 . M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. pages 332--344, 1986."},{"key":"e_1_3_2_1_30_1","volume-title":"W3C","author":"Choreography Description Language C. Web Services","year":"2005","unstructured":"W3 C. Web Services Choreography Description Language , Version 1.0 - W3C candidate recommendation 9 november 2005. Technical report , W3C , November 2005 . W3C. Web Services Choreography Description Language, Version 1.0 - W3C candidate recommendation 9 november 2005. Technical report, W3C, November 2005."},{"key":"e_1_3_2_1_31_1","unstructured":"U. Wiger. Fault tolerant leader election. small http:\/\/www.erlang.org\/.  U. Wiger. Fault tolerant leader election. small http:\/\/www.erlang.org\/."},{"key":"e_1_3_2_1_32_1","volume-title":"CWI","author":"Wouters A.G.","year":"2001","unstructured":"A.G. Wouters . Manual for the \u03bcCRL toolset. Technical report , CWI , Amsterdam , 2001 . A.G. Wouters. Manual for the \u03bcCRL toolset. Technical report, CWI, Amsterdam, 2001."},{"key":"e_1_3_2_1_33_1","first-page":"273","volume-title":"Sixth Symposium on Operating Systems Design and Implementation","author":"Yang J.","year":"2004","unstructured":"J. Yang , P. Twohey , D. Engler , and M. Musuvathi . Using model checking to find serious file system errors . In Sixth Symposium on Operating Systems Design and Implementation , pages 273 -- 288 . USENIX, 2004 . J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using model checking to find serious file system errors. In Sixth Symposium on Operating Systems Design and Implementation, pages 273--288. USENIX, 2004."}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","location":"Freiburg Germany","acronym":"ICFP07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 12th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291171","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291151.1291171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:26Z","timestamp":1750243946000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291171"}},"subtitle":["a model checker for a distributed functional programming language"],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":30,"alternative-id":["10.1145\/1291151.1291171","10.1145\/1291151"],"URL":"https:\/\/doi.org\/10.1145\/1291151.1291171","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1291220.1291171","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}