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: Proceedings of the Fourth International Conference on Application of Concurrency to System Design (ACSD’04), pp. 135–144 (2004)
4. Blau, J., Rooth, J., Axell, J., Hellstrand, F., Buhrgard, M., Westin, T., Wicklund, G.: AXD 301: A new generation ATM switching system. Computer Networks 31, 559–582 (1999)
5. Benac Earle, C.: Model check the interaction of Erlang components. PhD thesis, The University of Kent, Canterbury, Department of Computer Science (2006)