{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:11Z","timestamp":1750307951192,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T00:00:00Z","timestamp":1191542400000},"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,5]]},"DOI":"10.1145\/1292520.1292529","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"55-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Verification of timed erlang\/OTP components using the process algebra \u03bccrl"],"prefix":"10.1145","author":[{"given":"Qiang","family":"Guo","sequence":"first","affiliation":[{"name":"The University of Sheffield"}]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[{"name":"The University of Sheffield"}]}],"member":"320","published-online":{"date-parts":[[2007,10,5]]},"reference":[{"key":"e_1_3_2_1_1_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 , second edition, 1996 . J. Armstrong, R. Virding, C.Wikstr\u00f6m, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996."},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"184","volume-title":"Formal Methods Europe: Getting IT Right","author":"Arts T.","year":"2002","unstructured":"T. Arts , C. Benac-Earle , and J. Derrick . Verifying Erlang code: a resource locker case-study . In Lars-Henrik Eriksson and Peter Lindsay, editors, Formal Methods Europe: Getting IT Right , Copenhagen, Denmark , volume 2391 of LNCS , pages 184 -- 203 . Springer-Verlag , July 2002 . T. Arts, C. Benac-Earle, and J. Derrick. Verifying Erlang code: a resource locker case-study. In Lars-Henrik Eriksson and Peter Lindsay, editors, Formal Methods Europe: Getting IT Right, Copenhagen, Denmark, volume 2391 of LNCS, pages 184--203. Springer-Verlag, July 2002."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309124"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/103272"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11556985_19"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088367"},{"key":"e_1_3_2_1_8_1","unstructured":"S.\n      Blom N.\n      Ioustinova and \n      N.\n      Sidorova\n  . \n  Timed verification with \u03bcCRL\n  . In Manfred Broy and Alexandre V. Zamulin editors 5th Andrei Ershov International Conference on Perspectives of System Informatics PSI'\n  2003 volume \n  2890\n   of \n  LNCS pages \n  178\n  --\n  192\n  . \n  Springer-Verlag July 2003.  S. Blom N. Ioustinova and N. Sidorova. Timed verification with \u03bcCRL. In Manfred Broy and Alexandre V. Zamulin editors 5th Andrei Ershov International Conference on Perspectives of System Informatics PSI'2003 volume 2890 of LNCS pages 178--192. Springer-Verlag July 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"e_1_3_2_1_10_1","unstructured":"CADP. http:\/\/www.inrialpes.fr\/vasy\/cadp\/.  CADP. http:\/\/www.inrialpes.fr\/vasy\/cadp\/."},{"key":"e_1_3_2_1_11_1","volume-title":"Model Checking","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , O. Grumberg , and D. Long . Model Checking . MIT Press , 1999 . E. Clarke, O. Grumberg, and D. Long. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100071"},{"key":"e_1_3_2_1_13_1","volume-title":"CWI","author":"Groote J. F.","year":"1997","unstructured":"J. F. Groote . The syntax and sematics of timed \u03bcCRL. In SEN R9709 , CWI , Amsterdam , 1997 . J. F. Groote. The syntax and sematics of timed \u03bcCRL. In SEN R9709, CWI, Amsterdam, 1997."},{"key":"e_1_3_2_1_14_1","first-page":"26","volume-title":"Workshop in Computing","author":"Groote J. F.","year":"1995","unstructured":"J. F. Groote and A. Ponse . The syntax and sematics of \u03bcCRL. In Algebra of Communicating Processes 1994 , Workshop in Computing , pages 26 -- 62 , 1995 . J. F. Groote and A. Ponse. The syntax and sematics of \u03bcCRL. In Algebra of Communicating Processes 1994, Workshop in Computing, pages 26--62, 1995."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73196-2_15"},{"key":"e_1_3_2_1_16_1","volume-title":"12th International Erlang User Conference (EUC'06)","author":"Guo Q.","year":"2006","unstructured":"Q. Guo and J. Derrick . Eliminating overlapping of pattern matching when verifying Erlang programs in \u03bcCRL . In 12th International Erlang User Conference (EUC'06) , Stockholm, Sweden , 2006 . Q. Guo and J. Derrick. Eliminating overlapping of pattern matching when verifying Erlang programs in \u03bcCRL. In 12th International Erlang User Conference (EUC'06), Stockholm, Sweden, 2006."},{"key":"e_1_3_2_1_17_1","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985","unstructured":"C. A. R. Hoare . Communicating Sequential Processes (Prentice-Hall International Series in Computer Science). Prentice Hall , April 1985 . C. A. R. Hoare. Communicating Sequential Processes (Prentice-Hall International Series in Computer Science). Prentice Hall, April 1985."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/317765.317908"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Freiburg Germany","acronym":"ICFP07"},"container-title":["Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292520.1292529","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1292520.1292529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:49Z","timestamp":1750258669000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292520.1292529"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,5]]},"references-count":19,"alternative-id":["10.1145\/1292520.1292529","10.1145\/1292520"],"URL":"https:\/\/doi.org\/10.1145\/1292520.1292529","relation":{},"subject":[],"published":{"date-parts":[[2007,10,5]]},"assertion":[{"value":"2007-10-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}