Références Bibliographies
- Algorithmes distribués
- Nancy A. Lynch, Distributed Algorithms, Elsevier (The Morgan Kaufmann Series in Data Management Systems), 1996, 2nd Edition (ISBN: 978-1-55860-348-6)
- Gerard Tel, Introduction to Distributed Algorithms, Cambridge University Press, 2000, 2nd Edition (ISBN-13: 9780521794831 - ISBN-10: 0521794838)
- Michel Raynal, Synchronisation et état global dans les systèmes répartis, Eyrolles, 1992 (ISBN : 2212016298)
- Ivan Lavallée, Algorithmique parallèle et distribuée, Hermès (Collection Traité des nouvelles technologies - Série informatique), 1990 (ISBN-10 : 2-86601-250-X)
- Programmation concurrente et/ou distribuée
- Mordechai Ben-Ari, Principles of Concurrent and Distributed Programming, Addison-Wesley, 2006, 2nd Edition (ISBN-10: 032131283X - ISBN-13: 9780321312839)
- Gregory R. Andrews, Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000 (ISBN-10: 0201357526 - ISBN-13: 9780201357523)
- 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)
- Systèmes distribués
- Jean Dollimore, Tim Kindberg, George Coulouris, Distributed Systems - Concepts and Design, Addison Wesley/Pearson Education, 2005, 4th Edition (ISBN13: 9780321263544 - ISBN10: 0321263545)
آخر تعديل: Sunday، 29 March 2020، 4:42 PM