1. Mermet, B., Simon, G.: GDT4MAS: An extension of the GDT model to specify and to verify MultiAgent Systems. In: Decker, et al. (eds.) Proc. of AAMAS 2009, pp. 505–512 (2009)
2. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley (1988)
3. Lamport, L.: The syntax and semantics of TLA? + ?. Part 1: Definitions and Modules (June 1996)
4. Milner, R., Parrow, J., Wlaker, D.: A calculus of mobile processes. Journal of Information and Computation 100 (1992)
5. Lecture Notes in Artificial Intelligence;B. Mermet,2008