{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:08:46Z","timestamp":1725484126160},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_11","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:45:28Z","timestamp":1179362728000},"page":"184-203","source":"Crossref","is-referenced-by-count":11,"title":["Verifying Erlang Code: A Resource Locker Case-Study"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Arts","sequence":"first","affiliation":[]},{"given":"Clara Benac","family":"Earle","sequence":"additional","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"11_CR1","unstructured":"J.L. Armstrong, S.R. Virding, M.C. Williams, and C. Wikstr\u00f6m. Concurrent Programming in Erlang. Prentice Hall International, 2nd edition, 1996."},{"key":"11_CR2","unstructured":"T. Arts and C. Benac Earle. Development of a verified distributed resource locker, In Proc. of FMICS, Paris, July 2001."},{"key":"11_CR3","series-title":"LNAI","first-page":"38","volume-title":"Proc. of CADE\u201998","author":"T. Arts","year":"1998","unstructured":"T. Arts, M. Dam, L-\u00c5. Fredlund, and D. Gurov. System Description: Verification of Distributed Erlang Programs. In Proc. of CADE\u201998, LNAI 1421, p. 38\u201342, Springer-Verlag, Berlin, 1998."},{"key":"11_CR4","series-title":"Lect Notes Comput Sci","first-page":"37","volume-title":"Proc. of IFL2000","author":"T. Arts","year":"2000","unstructured":"T. Arts and T. Noll. Verifying Generic Erlang Client-Server Implementations. In Proc. of IFL2000, LNCS 2011, p. 37\u201353, Springer Verlag, Berlin, 2000."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"S. Blau and J. Rooth. AXD 301-A new Generation ATM Switching System. Ericsson Review, no 1, 1998.","DOI":"10.1016\/S0169-7552(98)00282-7"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"B. Bollig, M. Leucker, and M. Weber. Local Parallel Model Checking for the Alternation Free \u03bc-Calculus. tech. rep. AIB-04-2001, RWTH Aachen, 2001.","DOI":"10.1007\/3-540-45319-9_37"},{"key":"11_CR7","unstructured":"E.M. Clarke, O. Grumberg, D. Peled. Model Checking, MIT Press, December 1999."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"J. Corbett, M. Dwyer, L. Hatcliff. Bandera: A Source-level Interface for Model Checking Java Programs. In Teaching and Research Demos at ICSE\u201900, Limerick, Ireland, 4\u201311 June, 2000.","DOI":"10.1145\/337180.337625"},{"key":"11_CR9","unstructured":"CWI. http:\/\/www.cwi.nl\/~mcrl . A Language and Tool Set to Study Communicating Processes with Data, February 1999."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra. Solution of a Problem in Concurrent Programming Control. In Comm. ACM, 8\/9, 1965.","DOI":"10.1145\/365559.365617"},{"key":"11_CR11","unstructured":"E.A. Emerson and C-L. Lei. Efficient Model Checking in Fragments of the Propositional Mu-Calculus, In Proc. of the 1st LICS, p. 267\u2013278, 1986."},{"key":"11_CR12","unstructured":"Open Source Erlang. http:\/\/www.erlang.org , 1999."},{"key":"11_CR13","unstructured":"L-\u00c5. Fredlund, et. al. A Tool for Verifying Software Written in Erlang, To appear in: STTT, 2002."},{"key":"11_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Proc. of CAV","author":"J.-C. Fernandez","year":"1996","unstructured":"J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireau. Cadp (C\u00e6sar\/Ald\u00e9baran development package): A protocol validation and verification toolbox. In Proc. of CAV, LNCS 1102, p. 437\u2013440, Springer-Verlag, Berlin, 1996."},{"key":"11_CR15","unstructured":"J. F. Groote, The syntax and semantics of timed \u03bcCRL. Technical Report SEN-R9709, CWI, June 1997. Available from http:\/\/www.cwi.nl ."},{"issue":"4","key":"11_CR16","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"K. Havelund and T. Pressburger, Model checking Java programs using Java PathFinder. STTT, Vol 2, Nr 4, pp. 366\u2013381, March 2000.","journal-title":"STTT"},{"key":"11_CR17","volume-title":"The Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"G. Holzmann, The Design and Validation of Computer Protocols. Edgewood Cliffs, MA: Pretence Hall, 1991."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"F. Huch, Verification of Erlang Programs using Abstract Interpretation and Model Checking. In Proc. of ICFP\u201999, Sept. 1999.","DOI":"10.1145\/317636.317908"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"D. E. Knuth. Additional Comments on a Problem in Concurrent Programming Control. In Comm. ACM, 9\/5, 1966.","DOI":"10.1145\/355592.365595"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen. Results on the propositional \u03bc-calculus. TCS, 27:333\u2013354, 1983.","journal-title":"TCS"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"L. Lamport. The Mutual Exclusion Problem Part II-Statement and Solutions. In Journal of the ACM, 33\/2, 1986.","DOI":"10.1145\/5383.5385"},{"key":"11_CR22","volume-title":"Distributed Algorithms","author":"N. A. Lynch","year":"1996","unstructured":"N. A. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, Inc. San Francisco, California, 1996."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, Springer 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"11_CR24","volume-title":"Tech. Rep. SEN-R0130","author":"A. G. Wouters","year":"2001","unstructured":"A. G. Wouters. Manual for the \u03bcCRL tool set (version 2.8.2). Tech. Rep. SEN-R0130, CWI, Amsterdam, 2001."}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:05:21Z","timestamp":1556409921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}