Derivation of Fail-Aware Membership Service Specifications.

Christof Fetzer Flaviu Cristian Derivation of Fail-Aware Membership Service Specifications. 644-663 1998 IPPS/SPDP Workshops db/conf/ipps/ippsw1998.html#FetzerC98