{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:41Z","timestamp":1725484661972},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419198"},{"type":"electronic","value":"9783540453611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45361-x_3","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T20:42:57Z","timestamp":1180557777000},"page":"37-52","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Generic Erlang Client\u2014Server Implementations"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Arts","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Noll","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,10]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"T. Arts, M. Dam, L.-\u00e5. Fredlund, and D. Gurov. System description: Verification of distributed Erlang programs. In Proc. CADE\u201998, volume 1421, pages 38\u201341. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0054244"},{"key":"3_CR2","unstructured":"T. Arts and T. Noll. Verifying generic Erlang client-server implementations. Technical Report 00-08, Aachen University of Technology, Aachen, Germany, 2000. ftp:\/\/ftp.informatik.rwth-aachen.de\/pub\/reports\/2000\/00-08.ps.gz."},{"key":"3_CR3","unstructured":"J.L. Armstrong, S.R. Virding, M.C. Williams, and C. Wikstr\u00f6m. Concurrent Programming in Erlang. Prentice Hall International, 2nd edition, 1996."},{"issue":"5","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"E.M. Clarke, O. Grumberg, and D.E. Long. Model checking andabstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512\u20131542, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR5","unstructured":"E.M. Clarke and J.M. Wing. Formal methods: State of the art and future directions. Technical Report CMU-CS-96-178, Carnegie Mellon University, Pittsburg, USA, 1996."},{"key":"3_CR6","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.-\u00e5. 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":"3_CR7","unstructured":"L.-\u00e5. Fredlund. Towards a semantics for Erlang. Unpublished manuscript. Swedish Institute of Computer Science."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"F. Huch. Verification of Erlang programs using abstract interpretation andmo del checking.ACM SIGPLAN Notices, 34(9):261\u2013272, 1999. Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP\u2019 99).","DOI":"10.1145\/317765.317908"},{"key":"3_CR9","volume-title":"Tool Support for System Specification, Development, and Verification","author":"M. Lange","year":"1999","unstructured":"M. Lange, M. Leucker, T. Noll, and S. Tobies. Truth-a verification platform for concurrent systems. In Tool Support for System Specification, Development, and Verification, Advances in Computing Science. Springer-Verlag Wien New York, 1999."},{"key":"3_CR10","unstructured":"CCITT Specification andDescription Language (SDL). Technical Report 03\/93, International Telecommunication Union, 1993. http:\/\/www.itu.int\/ ."}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45361-X_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:32:20Z","timestamp":1556443940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45361-X_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419198","9783540453611"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45361-x_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}