Publications

2 results at CONCUR 2005

Automatic verification of fault-tolerant register emulations
- - Paul C. Attie
  - Hana Chockler
- 2005
- CONCUR 2005
Concurrent clustered programming
- - Vijay Saraswat
  - Radha Jagadeesan
- 2005
- CONCUR 2005

Automatic verification of fault-tolerant register emulations