{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:10:38Z","timestamp":1725466238059},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646754"},{"type":"electronic","value":"9783540691105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054244","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T07:28:51Z","timestamp":1149665331000},"page":"38-41","source":"Crossref","is-referenced-by-count":4,"title":["System description: Verification of distributed Erlang programs"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Arts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mads","family":"Dam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars -\u00e5ke","family":"Fredlund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"5_CR1","unstructured":"J. Armstrong, R. Verding, C. Wikstr\u00f6m and M. Wiliams, Concurrent Programming in Erlang. 2nd edition, Pretence Hall, 1996."},{"key":"5_CR2","first-page":"12","volume":"962","author":"M. Dam","year":"1995","unstructured":"M. Dam, Compositional proof systems for model checking infinite state processes. In Proceedings CONCUR '95, LNCS 962, p. 12\u201326, 1995.","journal-title":"LNCS"},{"key":"5_CR3","unstructured":"M. Dam, L.-\u00e5. Fredlund and D. Gurov, Toward Parametric Verification of Open Distributed Systems. To appear in: H. Langmaack, A. Pnueli, W.-P. De Roever (eds.), Compositionality: The Significant Difference, SpringerVerlag, 1998."},{"key":"5_CR4","unstructured":"E.A. Emerson and C. Lei, Efficient model checking in fragments of the prepositional mu-calculus. In Proceedings LICS'86, p. 267\u2013278, 1986."},{"key":"5_CR5","unstructured":"D. Gurov, Specification and Verification of Communicating Systems with Value Passing. Ph.D. Thesis, Department of Computer Science, University of Victoria, March 1998."},{"key":"5_CR6","unstructured":"M. Fr\u00f6hlich and M. Werner. The graph visualization system daVinci \u2014 a user interface for applications. Technical Report 5\/94, Department of Computer Science, Bremen University, 1994."},{"key":"5_CR7","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 prepositional \u039c-calculus. Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"key":"5_CR8","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"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(90)90110-4","volume":"89","author":"C. Stirling","year":"1991","unstructured":"C. Stirling and D. Walker, Local model checking in the modal mu-calculus. Theoretical Computer Science, 89(1):161\u2013177, 1991.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-15"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054244","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T23:21:08Z","timestamp":1549840868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646754","9783540691105"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0054244","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}