{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:04:27Z","timestamp":1725563067734},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155840"},{"type":"electronic","value":"9783642155857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15585-7_5","type":"book-chapter","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T21:58:59Z","timestamp":1282687139000},"page":"23-38","source":"Crossref","is-referenced-by-count":5,"title":["Model-Checking Erlang \u2013 A Comparison between EtomCRL2 and McErlang"],"prefix":"10.1007","author":[{"given":"Qiang","family":"Guo","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]},{"given":"Clara","family":"Benac Earle","sequence":"additional","affiliation":[]},{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"5_CR2","first-page":"135","volume-title":"4th International Conference on Application of Concurrency to System Design","author":"T. Arts","year":"2004","unstructured":"Arts, T., Benac-Earle, C., Penas, J.J.S.: Translating Erlang to \u03bcCRL. In: Kishinevsky, M., Darondeau, P. (eds.) 4th International Conference on Application of Concurrency to System Design, pp. 135\u2013144. IEEE Computer Society, Los Alamitos (June 2004)"},{"key":"5_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11556985_19","volume-title":"Computer Aided Systems Theory \u2013 EUROCAST 2005","author":"C. Benac-Earle","year":"2005","unstructured":"Benac-Earle, C., Fredlund, L.-\u00c5.: Verification of Language Based Fault-Tolerance. In: Moreno D\u00edaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2005. LNCS, vol.\u00a03643, pp. 140\u2013149. Springer, Heidelberg (2005)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1088361.1088367","volume-title":"Proceedings of ACM SigPlan Erlang 2005 Workshop","author":"C. Benac-Earle","year":"2005","unstructured":"Benac-Earle, C., Fredlund, L.-\u00c5., Derrick, J.: Verifying Fault-Tolerant Erlang Programs. In: Sagonas, K., Armstrong, J. (eds.) Proceedings of ACM SigPlan Erlang 2005 Workshop, pp. 26\u201334. ACM Press, New York (September 2005)"},{"key":"5_CR6","unstructured":"CADP, http:\/\/www.inrialpes.fr\/vasy\/cadp\/"},{"key":"5_CR7","volume-title":"Erlang Programming","author":"F. Cesarini","year":"2009","unstructured":"Cesarini, F., Thompson, S.: Erlang Programming. O\u2019Reilly Media, Sebastopol (2009)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Fredlund, L., Svensson, H.: McErlang: a Model Checker for a Distributed Functional Programming Language. In: Hinze, R., Ramsey, N. (eds.) 12th ACM SIGPLAN International conference on functional programming (ICFP 2007), pp. 978\u20131\u201359593\u2013815\u20132 (2007)","DOI":"10.1145\/1291151.1291171"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.entcs.2005.12.101","volume":"162","author":"J.F. Groote","year":"2006","unstructured":"Groote, J.F., Mathijssena, A., van Weerdenburga, M., Usenkoa, Y.: From \u03bcCRL to mCRL2. Electronic Notes in Theoretical Computer Science\u00a0162, 191\u2013196 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Ponse, A.: The syntax and sematics of \u03bcCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S. (eds.) Algebra of Communicating Processes 1994, Workshop in Computing, pp. 26\u201362 (1995)","DOI":"10.1007\/978-1-4471-2120-6_2"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-73196-2_15","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007","author":"Q. Guo","year":"2007","unstructured":"Guo, Q.: Verifying Erlang\/OTP Components in \u03bcCRL. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol.\u00a04574, pp. 227\u2013246. Springer, Heidelberg (2007)"},{"key":"5_CR12","first-page":"55","volume-title":"6th ACM SIGPLAN Erlang Workshop","author":"Q. Guo","year":"2007","unstructured":"Guo, Q., Derrick, J.: Verification of Timed Erlang\/OTP Components Using the Process Algebra \u03bcCRL. In: Thompson, S., Fredlund, L.-\u00c5. (eds.) 6th ACM SIGPLAN Erlang Workshop, pp. 55\u201364. ACM Press, New York (2007)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Guo, Q., Derrick, J.: Formally Based Tool Support for Model Checking Erlang Applications. International Journal on Software Tools for Technology Transfer (2010) (under review)","DOI":"10.1007\/s10009-010-0179-1"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-68855-6_13","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"Q. Guo","year":"2008","unstructured":"Guo, Q., Derrick, J., Hoch, C.: Verifying Erlang Telecommunication Systems with the Process Algebra \u03bcCRL. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 201\u2013217. Springer, Heidelberg (2008)"},{"issue":"8","key":"5_CR15","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1109\/32.940728","volume":"27","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Lowry, M., Penix, J.: Formal Analysis of a Space-Craft Controller Using SPIN. IEEE Transactions on Software Engineering\u00a027(8), 749\u2013765 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR16","volume-title":"Design and Validation of Computer Protocols","author":"H. Holzmann","year":"1991","unstructured":"Holzmann, H.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/1596600.1596610","volume-title":"8th ACM SIGPLAN Erlang Workshop","author":"H. Svensson","year":"2009","unstructured":"Svensson, H.: Implementing an LTL-to-B\u00fcchi translator in Erlang: a protest experience report. In: 8th ACM SIGPLAN Erlang Workshop, pp. 63\u201370. ACM Press, New York (September 2009)"}],"container-title":["Lecture Notes in Computer Science","Testing \u2013 Practice and Research Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15585-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,7]],"date-time":"2021-11-07T01:49:21Z","timestamp":1636249761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15585-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155840","9783642155857"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15585-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}