Building reliable distributed systems

This thesis is a collection of selected publications, representing a substantial contribution to the field of reliable distributed systems, in particular in the areas of building theoretical models for fault-tolerant computing, developing tools for building reliable distributed systems, and constructing reliable distributed systems. These research contributions have formed new knowledge as part of reliable distributed computing and have enriched existing knowledge.