Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example.

Published in: IWFM (2003)

Keyphrases

distributed systems
distributed environment
cooperative
theoretical framework
fault tolerant
database
database systems
general theory
communication overhead
distributed data
distributed network
formal theory
communication cost
computing environments
computational model
object oriented
case study
web services