Bibliography
[biblio01_01] [1] Lamport on mutual exclusion: 27 years of planting seeds. In Twentieth Annual ACM Symposium on Principles of Distributed Computing, pages 3–12, 2001.
[biblio01_02] [2] Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley, Reading, MA, <year>2000</year>.
[biblio01_03] [3] and Verification of Sequential and Concurrent Programs. Springer-Verlag, Berlin, <year>1991</year>.
[biblio01_04] [4] and Distributed Computing. McGraw-Hill, London, <year>1998</year>.
[biblio01_05] [5] High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, Harlow, <year>2003</year> ...
Get Principles of Concurrent and Distributed Programming, Second Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.