Searching for "Compositional proofs of self-stabilizing protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Engineering, 11:307--326, 1995. [WMP94] K Wang, AN Michel, and KM Passino. On stability
by Automation And, Yd N Yahfoufi, Bound Algorithm
… of Distributed Computing, pages 244--253, 1994. [Var97] G Varghese. Compositional proofs of self-stabilizing…
Add To MetaCart

Cv
by George Varghese, Arne Nilsson
… of Crash Failures, PODC 97, Aug 97, Santa Barbara [10] G. Varghese, Compositional Proofs of Self-Stabilizing…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB