Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Grid Systems


Citation: Zsolt Németh and Vaidy Sunderam, "A Formal Framework for Defining Grid Systems". In Proceedings of the Second IEEE/ACM International Symposium on Cluster Computing and the Grid, CCGRID2002, Berlin, May 2002, IEEE Computer Society Press, 202-211.
Summary: ASMs are used to define a model for grid systems.
Subjects: Architectures, Distributed Systems
Download: From Zsolt Németh's homepage in PostScript and Compressed PostScript.
Notes: