References
Books
- Distributed Systems, M. van Steen and A.S. Tanenbaum, 3rd edition, 2020.
- Distributed Systems, Paul Silivotti. 2007.
- Notes on Theory of Distributed Systems, James Aspens, 2022 (available online).
- Distributed Network Algorithms, Gopal Pandurangan, 2021.
- Distributed Algorithms, J. Hirvonen, J. Suomela, 2020.
- Principles of Distributed Computing, R. Wattenhofer, 2014.
- Distributed Programming: Theory and Practice, U. Shankar, 2013.
- Distributed Computing: Principles, Algorithms, and Systems. Ajay D. Kshemkalyani, Mukesh Singhal, 2011.
- Reliable Distributed Systems: Technologies, Web Services, and Applications, Kenneth P. Birman, Springer, 2005.
- Introduction to Distributed Algorithms, Gerard Tel, 2000.
- Distributed Algorithms for Message Passing Systems, Michel Raynal, Springer, 1998.
- Distributed Computing: Fundamentals, Simulations, and Advanced Topics, H. Attiya, J. Welch. 1998.
- A Foundation of Parallel Programming, J. Misra.
- Parallel Program Design: A Foundation, K. M. Chandy, J. Misra, 1998.
- Distributed Algorithms, N. A. Lynch, 1996.
- A Logical Approach to Discrete Mathematics, D. Gries, F. B. Schneider, Springer, 1993.
- Predicate Calculus and Program Semantics, E. W. Dijkstra, C. S. Sholten, Springer, 1989.
- Introduction to Probability, D. Bertsakes, and J. Tsitiklis, 2008.
- Probability and Statistics with Reliability, and Queueing and Computer Science Applications, K. Trivedi, 2nd edition, Wiley, 2002.
Papers
- Time, clocks, and the ordering of events in a distributed system. Leslie Lamport. Communications of the ACM. 1978.
- Distributed Snapshots: Determining Global
States of Distributed Systems. K.M. Chandy, L. Lamport, ACM Transactions on Computer Systems, 1985.
- Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms, Ozalp Babaoglu, Keith Marzullo, Technical Report, 1993.
- Practical Byzantine Fault Tolerance and Proactive Recovery, M. Castro, B. Liskov, ACM Transactions on Computer Systems, 2002.
- In Search of an Understandable Consensus Algorithm (Raft), Diego Ongaro and John Ousterhout, USENEX Annual Technical Conference, 2014.
- Evolution
of Thread-Level Parallelism in Desktop Applications, G. Blake
et al., ACM SIGARCH Computer Architecture News, 2010.
- Chord: A Scalable Peer-to-peer Lookup Protocol
for Internet Applications, 2003.
- Locality-aware request distribution in cluster-based network servers, V. Pai el al., 1998.
- The state of the art in locally distributed Web-server systems, Cardellini et al., 2001.
- Implementing remote procedure calls A. Birrel and B. Nelson, 1983.
- The Sun Network Filesystem: Design, Implementation and Experience, Russel Sandberg.
- Epidemic Algorithms for Replicated Database Maintenance, A. Demers et al., ACM SIGOPS Operating Systems Review, 1988.
- Virtual Time and Global States of Distributed Systems, Friedemann Mattern. 1989.
Other