𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of distributed systems with local–global predicates

✍ Scribed by K. Mani Chandy; Brian Go; Sayan Mitra; Concetta Pilotto; Jerome White


Publisher
Springer
Year
2010
Tongue
English
Weight
698 KB
Volume
23
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Efficient Detection of Channel Predicate
✍ V.K. Garg; C.M. Chase; Richard Kilgore; J.Roger Mitchell 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 443 KB

This paper discusses efficient detection of global predicates in a distributed program. Previous work in this area required predicates to be specified as a conjunction of predicates defined on individual processes. Many properties in distributed systems, however, use the state of channels, such as "