{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:10:22Z","timestamp":1762521022853,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"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.1088367","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"26-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Verifying fault-tolerant Erlang programs"],"prefix":"10.1145","author":[{"given":"Clara Benac","family":"Earle","sequence":"first","affiliation":[{"name":"Universidad Carlos III de Madrid"}]},{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"additional","affiliation":[{"name":"Universidad Politecnica de Madrid"}]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[{"name":"University of Sheffield"}]}],"member":"320","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309124"},{"key":"e_1_3_2_1_2_1","first-page":"183","volume-title":"Proc. of Int. Symposium on Formal Methods Europe, LNCS 2391","author":"Arts T.","year":"2002","unstructured":"T. Arts , C. Benac Earle and J. Derrick. Verifying Erlang code: a resource locker case-study , In Proc. of Int. Symposium on Formal Methods Europe, LNCS 2391 , p. 183 - 202 , Springer-Verlag, Copenhagen, Denmark , July 2002 .]] T. Arts, C. Benac Earle and J. Derrick. Verifying Erlang code: a resource locker case-study, In Proc. of Int. Symposium on Formal Methods Europe, LNCS 2391, p. 183-202, Springer-Verlag, Copenhagen, Denmark, July 2002.]]"},{"key":"e_1_3_2_1_3_1","first-page":"37","volume-title":"Proc. of IFL2000","author":"Arts T.","year":"2011","unstructured":"T. Arts and T. Noll . Verifying generic Erlang client-server implementations . In Proc. of IFL2000 , LNCS 2011 , p. 37 -- 53 , Springer Verlag, Berlin , 2000.]] T. Arts and T. Noll. Verifying generic Erlang client-server implementations. In Proc. of IFL2000, LNCS 2011, p. 37--53, Springer Verlag, Berlin, 2000.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/592849.592856"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337625"},{"key":"e_1_3_2_1_6_1","volume-title":"February","author":"CWI.","year":"1999","unstructured":"CWI. \u03bcmcrl: A language and tool set to study communicating processes with data , February 1999 .]] CWI. \u03bcmcrl: A language and tool set to study communicating processes with data, February 1999.]]"},{"volume-title":"Economist Technology Quarterly","year":"2003","key":"e_1_3_2_1_7_1","unstructured":"Building a better bug-trap . Economist Technology Quarterly , June 2003 .]] Building a better bug-trap. Economist Technology Quarterly, June 2003.]]"},{"key":"e_1_3_2_1_8_1","first-page":"267","volume-title":"Proc. LICS","author":"Emerson E.","year":"1986","unstructured":"E. Emerson and C.-L. Lei . Efficient model checking in fragments of the propositional mu-calculus . In Proc. LICS , pages 267 -- 278 , 1986 .]] E. Emerson and C.-L. Lei. Efficient model checking in fragments of the propositional mu-calculus. In Proc. LICS, pages 267--278, 1986.]]"},{"key":"e_1_3_2_1_9_1","first-page":"437","volume-title":"Proc. of CAV, LNCS 1102","author":"Fernandez J.-C.","year":"1996","unstructured":"J.-C. Fernandez , H. Garavel , A. Kerbrat , R. Mateescu , L. Mounier , and M. Sighireau . C\u00e6sar\/Ald\u00e9baran development package): A protocol validation and verification toolbox . In Proc. of CAV, LNCS 1102 , p. 437 -- 440 , Springer Verlag , Berlin , 1996 .]] J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireau. C\u00e6sar\/Ald\u00e9baran development package): A protocol validation and verification toolbox. In Proc. of CAV, LNCS 1102, p. 437--440, Springer Verlag, Berlin, 1996.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"An overview of cadp","author":"Garavel H.","year":"2001","unstructured":"H. Garavel , F. Lang , and R. Mateescu . An overview of cadp 2001 . European Association for Software Science and Technology (EASST) Newsletter , 4:13--24, August 2002.]] H. Garavel, F. Lang, and R. Mateescu. An overview of cadp 2001. European Association for Software Science and Technology (EASST) Newsletter, 4:13--24, August 2002.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"April","author":"Groote J. F.","year":"2000","unstructured":"J. F. Groote , W. Fokking , and M. Reiniers . Modelling concurrent systems: Protocol verification in \u03bcCRL , April 2000 .]] J. F. Groote, W. Fokking, and M. Reiniers. Modelling concurrent systems: Protocol verification in \u03bcCRL, April 2000.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"e_1_3_2_1_14_1","volume-title":"Pretence Hall","author":"Holzmann G.","year":"1991","unstructured":"G. Holzmann . The Design and Validation of Computer Protocols . Pretence Hall , 1991 .]] G. Holzmann. The Design and Validation of Computer Protocols. Pretence Hall, 1991.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026537232278"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the International Workshop on Software Tools for Technology Transfer STTT'98","author":"Mateescu R.","year":"1998","unstructured":"R. Mateescu . Local model-checking of an alternation-free value-based modal mu-calculus . In Proceedings of the International Workshop on Software Tools for Technology Transfer STTT'98 , Aalborg, Denmark , July 1998 .]] R. Mateescu. Local model-checking of an alternation-free value-based modal mu-calculus. In Proceedings of the International Workshop on Software Tools for Technology Transfer STTT'98, Aalborg, Denmark, July 1998.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.815324"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Artificial Intelligence","first-page":"748","volume-title":"11th International Conference on Automated Deduction (CADE), Deepak Kapur eds","author":"Rushby S. O. J.","year":"1992","unstructured":"S. O. J. Rushby and N. Shankar . Pvs: A prototype verification system . In 11th International Conference on Automated Deduction (CADE), Deepak Kapur eds . Lecture Notes in Artificial Intelligence , volume 607 , pages 748 - 752 , Springer Verlag , Saratoga, NY , June 1992 .]] S. O. J. Rushby and N. Shankar. Pvs: A prototype verification system. In 11th International Conference on Automated Deduction (CADE), Deepak Kapur eds. Lecture Notes in Artificial Intelligence, volume 607, pages 748-752, Springer Verlag, Saratoga, NY, June 1992.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/940880.940883"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/645536.657319"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647017.713458"}],"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.1088367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1088361.1088367","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.1088367"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,26]]},"references-count":21,"alternative-id":["10.1145\/1088361.1088367","10.1145\/1088361"],"URL":"https:\/\/doi.org\/10.1145\/1088361.1088367","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"}}]}}