Sciweavers

Share
GCC
2003
Springer

Modeling Distributed Algorithm Using B

9 years 6 months ago
Modeling Distributed Algorithm Using B
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary functionalities of distributed systems. We shall illustrate the use of a certain formal technical for developing distributed algorithms.This technique uses a so-called “event driven” approach together with the B-Method .The resulting general machines for distributed system can serve as a framework for defining new systems or analyzing existing ones.
Shengrong Zou
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where GCC
Authors Shengrong Zou
Comments (0)
books