Alessandro Basso,
Alexander Bolotov,
Artie Basukoski,
Vladimir Getov,
Ludovic Henrio and
Mariusz Urbanski. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. Technical report, TR-0042, Institute on Programming Model, CoreGRID - Network of Excellence, May 2006. Keywords: WP3.
|