1. Baeten, J., Weijland, W.: Process algebra. Cambridge Tracts in Theoretical Computer Science, vol. 18 (1990)
2. Lecture Notes in Computer Science;A. Bouajjani,1997
3. Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. In: POPL 2003. ACM, New York (2003)
4. Bouajjani, A., Esparza, J., Touili, T.: Reachability Analysis of Synchronised PA systems. In: INFINITY 2004 (2004) (to appear in ENTCS)
5. Bouajjani, A., Müller-Olm, M., Touili, T.: Regular Symbolic Analysis of Dynamic Networks of Pushdown Processes. Technical report, LIAFA lab No 2005-05, and University of Dortmund No 798 (June 2005)