{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:03Z","timestamp":1725487203370},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418658"},{"type":"electronic","value":"9783540453192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_41","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:50:47Z","timestamp":1184601047000},"page":"582-585","source":"Crossref","is-referenced-by-count":7,"title":["The Erlang Verification Tool"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Noll","sequence":"first","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":[[2001,3,23]]},"reference":[{"key":"41_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":"41_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1007\/3-540-48119-2_38","volume-title":"Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM\u201999)","author":"T. Arts","year":"1999","unstructured":"T. Arts and M. Dam. Verifying a distributed database lookup manager written in Erlang. In Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM\u201999), volume 1708 of Lecture Notes in Computer Science, pages 682\u2013700. Springer-Verlag, 1999."},{"key":"41_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-49213-5_7","volume-title":"Compositionality: the Significant Difference","author":"M. Dam","year":"1998","unstructured":"M. Dam, L.-a. Fredlund, and D. Gurov. Toward parametric verification of open distributed systems. In Compositionality: the Significant Difference, volume 1536 of Lecture Notes in Computer Science, pages 150\u2013185. Springer-Verlag, 1998."},{"key":"41_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/3-540-46562-6_22","volume-title":"Perspectives of System Informatics: Proceedings of PSI\u201999","author":"M. Dam","year":"1999","unstructured":"M. Dam and D. Gurov. Compositional verification of CCS processes. In Perspectives of System Informatics: Proceedings of PSI\u201999, volume 1755 of Lecture Notes in Computer Science, pages 247\u2013256. Springer-Verlag, 1999."},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"A. Simpson. Compositionality via cut-elimination: Hennessy-Milner logic for an arbitrary GSOS. In Proc. LICS, pages 420\u2013430. IEEE Computer Society Press, 26\u201329 1995.","DOI":"10.1109\/LICS.1995.523276"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:04:04Z","timestamp":1550448244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_41","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}