![](/img/cover-not-exists.png)
Verification of distributed systems with local–global predicates
K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome WhiteVolume:
23
Language:
english
Pages:
31
DOI:
10.1007/s00165-010-0150-7
Date:
September, 2011
File:
PDF, 698 KB
english, 2011