![]() |
Volumn 9, Issue 2, 1997, Pages 208-226
|
A Mechanical Proof of Segall's PIF Algorithm
|
Author keywords
Asynchrony; Distributed algorithm; Graph; Invariant; Message; Theorem prover
|
Indexed keywords
|
EID: 0013078711
PISSN: 09345043
EISSN: None
Source Type: Journal
DOI: 10.1007/BF01211619 Document Type: Article |
Times cited : (11)
|
References (13)
|