1. Cervesato, I., et al.: A Meta-notation for Protocol Analysis. In: Proc. CSFW 1999, pp. 55–69. IEEE Computer Society, Los Alamitos (1999)
2. Holzmann, G.: The SPIN Model Checker. Addison-Wesley, Reading (2004)
3. Murayama, K., et al.: Implementation of the Hierarchical Graph Rewriting Language LMNtal. Computer Software 25(2), 47–77 (2008)
4. Lecture Notes in Computer Science;K. Ueda,2005
5. Ueda, K.: Encoding Distributed Process Calculi into LMNtal. Electronic Notes in Theoretical Computer Science 209, 187–200 (2008)