Bibliography

[biblio01_01] [1] James H. Anderson. 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] Gregory R. Andrews. Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley, Reading, MA, <year>2000</year>.

[biblio01_03] [3] Krzysztof R. Apt and Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, Berlin, <year>1991</year>.

[biblio01_04] [4] Hagit Attiya and Jennifer Welch. Distributed Computing. McGraw-Hill, London, <year>1998</year>.

[biblio01_05] [5] John Barnes. 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.