{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:57Z","timestamp":1725490197861},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665878"},{"type":"electronic","value":"9783540481195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48119-2_38","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T21:23:00Z","timestamp":1188336180000},"page":"682-700","source":"Crossref","is-referenced-by-count":11,"title":["Verifying a Distributed Database Lookup Manager Written in Erlang"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Arts","sequence":"first","affiliation":[]},{"given":"Mads","family":"Dam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"38_CR1","unstructured":"J. Armstrong, R. Verding, C. Wikstr\u00fcm and M. Wiliams, Concurrent Programming in Erlang. 2:nd edition, Prentice-Hall, 1996."},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"T. Arts, M. Dam, L-\u00c5. Fredlund, and D. Gurov, System Description: Verification of Distributed Erlang Programs. In Proceedings 15th Conference on Automated Deduction, LNAI 1421, p. 38\u201342, July 1998.","DOI":"10.1007\/BFb0054244"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"T. Arts and J. Giesl, Applying Rewriting Techniques to the Verification of Erlang Processes. In Proceedings of the annual conference of the Euro-pean Association of Computer Science Logic, September 20-25, 1999. To appear in LNCS.","DOI":"10.1007\/3-540-48168-0_8"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"R. Cridlig, Semantic Analysis of Shared-Memory Concurrent Languages Using Abstract Model Checking. In Proc. PEPM\u201995.","DOI":"10.1145\/215465.215593"},{"key":"38_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1006\/inco.1997.2680","volume":"140","author":"M. Dam","year":"1998","unstructured":"M. Dam, Proving Properties of Dynamic Process Networks. Information and Computation, 140, p. 95\u2013114, 1998.","journal-title":"Information and Computation"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"M. Dam, L.-\u00c5. Fredlund and D. Gurov, Toward Parametric Verification of Open Distributed Systems. H. Langmaack, A. Pnueli, W.-P. De Roever (eds.), Compositionality: The Significant Difference, Springer Verlag, 1998.","DOI":"10.1007\/3-540-49213-5_7"},{"key":"38_CR7","unstructured":"G. Dowek, A. Felty, H. Herbelin, G. Huet, C. Murthy, C. Parent, C. Paulin-Mohring, and B. Werner. The Coq proof assistant user guide, Technical report, INRIA-Rocquencourt, May 1993."},{"key":"38_CR8","series-title":"Technical Report","volume-title":"The graph visualization system daVinci-a user interface for applications","author":"M. Fr\u00fchlich","year":"1994","unstructured":"M. Fr\u00fchlich and M. Werner. The graph visualization system daVinci-a user interface for applications. Technical Report 5\/94, Department of Computer Science, Bremen University, 1994."},{"key":"38_CR9","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 \u00b5-calculus. Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"key":"38_CR10","unstructured":"The Lego Proof Assistant, http:\/\/www.dcs.ed.ac.uk\/home\/lego\/ ."},{"key":"38_CR11","volume-title":"Open Telecom Platform users manual","author":"C. Wikstr\u00f6m","year":"1997","unstructured":"C. Wikstr\u00f6m, Hans Nilsson and H\u00e5kan Mattson, Mnesia Database Management System, In Open Telecom Platform users manual, Open Systems, Ericsson Utvecklings AB, Stockholm, Sweden, 1997."},{"key":"38_CR12","unstructured":"H. Nilsson, Patent application, 1999."},{"key":"38_CR13","unstructured":"Open Source Erlang, http:\/\/www.erlang.org , 1998."},{"key":"38_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(76)90022-0","volume":"3","author":"D. Park","year":"1976","unstructured":"D. Park, Finiteness is mu-ineffable. Theoretical Computer Science, 3:173\u2013181, 1976.","journal-title":"Theoretical Computer Science"},{"key":"38_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"L. C. Paulson","year":"1994","unstructured":"L. C. Paulson. Isabelle: A Generic Theorem Prover, LNCS 828, 1994"},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"J. Rushby, S. Owre and N. Shankar. PVS: A prototype verification system. In Proceedings 11th Conference on Automated Deduction, LNAI 607, pp. 748\u2013752, 1992.","DOI":"10.1007\/3-540-55602-8_217"},{"key":"38_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BFb0031813","volume-title":"Proceedings of Formal Methods in Computer-Aided Design","author":"N. Shankar","year":"1996","unstructured":"N. Shankar.PVS: Combining specification, proof checking, and model checking. In Proceedings of Formal Methods in Computer-Aided Design, LNCS 1166, pp. 257\u2013264, November 1996."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:26:55Z","timestamp":1556803615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_38","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}