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.
@TechReport{coregrid:tr0042,
AUTHOR = {Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz},
TITLE = {Specification and Verification of Reconfiguration Protocols in Grid Component Systems},
YEAR = {2006},
MONTH = {May},
NUMBER = {TR-0042},
INSTITUTION = {Institute on Programming Model, CoreGRID - Network of Excellence},
URL = {http://www.coregrid.net/mambo/images/stories/TechnicalReports/tr-0042.pdf},
KEYWORDS = {WP3} }
|