A Pragmatic Basis for the FormalDevelopment of Distributed

  • SystemsKenneth R. WoodProgramming
  • Published 2007
We present a basis for the formal speciication and stepwise development of distributed systems, i.e. programs which are intended (at least conceptually) to run on distributed-memory parallel machines which communicate via synchronized message-passing. Our approach was motivated by the need for a practicable formal complement to the informal \bubbles and ar… (More)