Fingerprint Dive into the research topics of 'Verification of distributed systems with local-global predicates'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Verification of distributed systems with local-global predicates
K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White
Research output: Contribution to journal › Article › peer-review