Designing Reliable Distributed Systems

Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.

• Introduction.- Part I: Equational Specifications and Their Analysis.- Equational Specification in Maude.- Operational Semantics of Equational Specifications.- Termination.- Confluence.- Equational Logic.- Models of Equational Specifications.- Part II: Specification and Analysis of Distributed Systems in Maude.- Modeling Distributed Systems in Rewriting Logic.- Executing Rewriting Logic Specifications in Maude.- Concurrent Objects in Maude.- Modeling Communication in Maude.- Modeling and Analyzing Transport Protocols.- Distributed Algorithms.- Analyzing a Cryptographic Protocol.- System Requirements.- Formalizing and Checking Requirements.- Real-Time and Probabilistic Systems.- Appendix A: Mathematical Preliminaries.