Using Abstract State Machines to Specify a Protocol thas Implements the GWO Consistency Model.

Claudio Acuña Yadran Eterovic Using Abstract State Machines to Specify a Protocol thas Implements the GWO Consistency Model. 32-37 2006 conf/ISCApdcs/2006 ISCA PDCS db/conf/ISCApdcs/ISCApdcs2006.html#AcunaE06