On Engineering a Distributed Algorithm

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Distributed Environment
  • Problem
  • Result
  • Confidence in the Solution
  • Confidence in the Solution
  • Engineering Distributed Software
  • Modeling Distributed Systems
  • Correctness Statement
  • System Model
  • Client Model
  • Solution Idea
  • Refining the Invariant
  • Designing the Server
  • Designing the Server
  • Designing the Server
  • Server Model
  • System Model
  • System Invariants
  • Server Program
  • Reliability of the Solution
  • Engineering Distributed Software
    • Author: Wolfgang Schreiner
    Last Modification: April 22, 1999
    [Up] [RISC-Linz] [University] [Search]