ShvartsmanAlex

Specifying and using a partitionable group communication service

FeketeAlan, LynchNancy, ShvartsmanAlex, 2001 .

An inheritance-based technique for building simulation proofs incrementally

LynchNancy, ShvartsmanAlex, KeidarIdit, 2002 .