Verification of distributed systems with local-global predicates

K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Verification of distributed systems with local-global predicates'. Together they form a unique fingerprint.

Mathematics