Browsing by Subject "Verification techniques"
Now showing items 1-1 of 1
-
Article
Verification techniques for distributed algorithms
(2006)A value-passing, asynchronous process calculus and its associated theory of confluence are considered as a basis for establishing the correctness of distributed algorithms. In particular, we present an asynchronous version ...