1. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. I&C 127(2), 91–101 (1996)
2. Abdulla, P.A., Čerāns, K., Jonsson, B., Yih-kuen, T.: Algorithmic analysis of programs with well quasi-ordered domains. I&C 160(1–2), 109–127 (2000)
3. Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: Decidability of bisimulation equivalence for processes generating context-free languages. JACM 40(3), 653–682 (1993)
4. Lecture Notes in Computer Science;J.C.M. Baeten,1987
5. Lecture Notes in Computer Science;A. Bouajjani,2001