Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Bibliographie
[1] J.-F. Monin, Introduction aux méthodes formelles, Hermès, 2000.
[2] J.-R. Abrial, The B-book : Assigning Programs to Meanings, Cambridge University Press, 1996.
[3] T. Hoare, Communicating Sequential Processes, Prentice Hall International, 1985.
[4] R. Milner, Communicating and Mobile Systems : The Pi-Calculus, Cambridge University Press, 1999.