Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang-Reference-Cited by-同舟云学术

Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang

Published:2010 Issue: Volume: Page:23-38
ISSN:0302-9743
Container-title:Testing – Practice and Research Techniques
language:
Short-container-title:

Author:

Guo Qiang,Derrick John,Benac Earle Clara,Fredlund Lars-Åke

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15585-7_5.pdf

Reference17 articles.

1. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)

2. Arts, T., Benac-Earle, C., Penas, J.J.S.: Translating Erlang to μCRL. In: Kishinevsky, M., Darondeau, P. (eds.) 4th International Conference on Application of Concurrency to System Design, pp. 135–144. IEEE Computer Society, Los Alamitos (June 2004)

3. Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)

4. Lecture Notes in Computer Science;C. Benac-Earle,2005

5. Benac-Earle, C., Fredlund, L.-Å., Derrick, J.: Verifying Fault-Tolerant Erlang Programs. In: Sagonas, K., Armstrong, J. (eds.) Proceedings of ACM SigPlan Erlang 2005 Workshop, pp. 26–34. ACM Press, New York (September 2005)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. AErlang at Work;SOFSEM 2017: Theory and Practice of Computer Science;2017

2. Conditions for Compatibility of Components;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016

3. Formally based tool support for model checking Erlang applications;International Journal on Software Tools for Technology Transfer;2010-11-02