1. Attiya H, Welch J (1998) Distributed computing: fundamentals, simulations and advanced topics. McGraw-Hill, New York
2. Balcazar JL, Gabarro J, Santha M (1992) Deciding bisimilarity is P-complete. Formal Aspects Comput 4(6A):638–648
3. Barnat J, Brim L, Stříbrná J (2001) Distributed LTL model-checking in SPIN. In: Proceedings SPIN’01. Lecture notes in computer science, vol 2057. Springer, Berlin Heidelberg New York, pp 200–216
4. Behrmann G, Hune T, Vaandrager FW (2000) Distributed timed model checking – How the search order matters. In: Proceedings CAV’00. Lecture notes in computer science, vol 1855. Springer, Berlin Heidelberg New York, pp 216–231
5. Berry G, Comon H, Finkel A (eds) (2001) Proceedings CAV’01. Lecture notes in computer science, vol 2102. Springer, Berlin Heidelberg New York