Developing Fault Tolerant Distributed Systems by Refinement

Elena Troubitsyna. Developing Fault Tolerant Distributed Systems by Refinement. In Jon Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki, editors, The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France. pages 178-183, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.