[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Detection of global state predicates
Toueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris
- 作者Toueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris
- 文件大小924.86KB
- 发表时间1992
- DOI10.1007/bfb0022452
- 页码254-272