Verifying Erlang Telecommunication Systems with the Process Algebra μCRL-Reference-Cited by-同舟云学术

Verifying Erlang Telecommunication Systems with the Process Algebra μCRL

Published:2008 Issue: Volume: Page:201-217
ISSN:0302-9743
Container-title:Formal Techniques for Networked and Distributed Systems – FORTE 2008
language:
Short-container-title:

Author:

Guo Qiang,Derrick John,Hoch Csaba

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68855-6_13

Reference18 articles.

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

2. Lecture Notes in Computer Science;T. Arts,2002

3. Arts, T., Benac-Earle, C., Penas, J.J.S.: Translating Erlang to μCRL. In: The Fourth International Conference on Application of Concurrency to System Design (ACSD 2004), June 2004, pp. 135–144. IEEE Computer Society, Los Alamitos (2004)

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

5. Benac-Earle, C.: Model checking the interaction of Erlang components. PhD thesis, The University of Kent, Canterbury, Department of Computer Science (2006)

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

1. Verification of Timed Erlang Programs Using McErlang;Formal Techniques for Distributed Systems;2012

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

3. Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang;Testing – Practice and Research Techniques;2010

4. Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs;Testing of Software and Communication Systems;2009