An Extension of Event B for Developing Grid Systems.

Pontus Boström Marina Waldén

Published in: ZB (2005)

Keyphrases

grid systems
grid computing
distributed query processing
resource sharing
grid environment
computational grids
heterogeneous systems
service oriented computing
resource management
database
information sharing
load balancing