@收款{zbMATH05321074，作者={Dharmadeep，M.C.和Gopinath，K.}，标题={异步共享内存系统中的主动领导者选举}，BookTitle={用于验证和分析的自动化技术。第四届国际研讨会，2006年10月23日至26日，中国北京。诉讼}，国际标准图书编号={978-3-540-47237-7}，页码={384--398}，年份={2006}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11901914_29}，关键词={68M12,68M14}，zbMATH={5321074}，Zbl={1161.68320}}