1. Verifying programs with unreliable channels;Abdulla;Inf. Comput.,1996
2. R. Alur, M. Yannakakis. Model checking of message sequence charts, in: CONCUR’99, Lecture Notes in Computer Science, vol. 1664, 1999, pp. 114–129.
3. Transductions and context-free languages;Berstel,1979
4. Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations;Bouajjani;Theor. Comput. Sci.,1999
5. B. Boigelot, P. Godefroid, B. Willems, P. Wolper, The Power of QDDs, in: SAS’97, Lecture Notes in Computer Science, vol. 1302, 1997, pp. 172–186.