1. Armstrong, J.L., Virding, S.R., Williams, M.C., Wikström, C.: Concurrent Programming in Erlang, 2nd edn. Prentice Hall International, Englewood Cliffs (1996)
2. Arts, T., Benac Earle, C., Sànchez-Penas, J.J.: Translating Erlang to μCRL. Application of Concurrency to System Design. In: Proceedings of Fourth International Conference on ACSD 2004, June 2004, vol. 16(18), pp. 135–144 (2004)
3. Benac Earle, C.: Model Checking the Interaction of Erlang Components. PhD thesis, University of Kent, UK (February 2005)
4. Lecture Notes in Computer Science;J.-C. Fernandez,1996
5. Groote, J.F.: The syntax and semantics of timed mCRL. Technical report SEN-R9709, CWI, Amsterdam (1997)