Références Bibliographies


  • Modéles - Vérification
    • Robin Milner, Communication and Concurrency, Prentice Hall, 1989 (ISBN 0-131-15007-3)
    • Robin Milner, Communicating and Mobile Systems: the Pi-Calculus, Springer Verlag, 1999 (ISBN 0-521-65869-1)
    • Edmund M. Clarke, Orna Grumberg, Doron A. Peled, Model Checking, MIT Press, 2000 (ISBN-10: 0-262-03270-8 - ISBN-13: 978-0-262-03270-4)
    • Philippe Schnoebelen et al., Vérification de logiciels : techniques et outils du model-checking, Vuibert, 1999 (ISBN : 2-7117-8646-3)
    • André Arnold, Systèmes de transition et sémantique des processus communicants, Masson, 1992 (ISBN : 2-225-82746-X)
    • André Arnold, Joffroy Beauquier, Béatrice Bérard, Brigitte Rozoy, Programmes parallèles : modèles et validation, Armand Colin, 1992 (ISBN : 2-200-21080-9)
Andrew S. Tanenbaum - Maarten Van Steen, Distributed Systems: Principles and Paradigms, 2/E, Prentice Hall, 2007 (ISBN-10: 0132392275 - ISBN-13: 9780132392273)

آخر تعديل: Sunday، 29 March 2020، 4:42 PM