Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems
From CERES
| Title | Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems |
|---|---|
| Author | Muhammad Atif and Mohammad Reza Mousavi and Ammar Osaiweran |
| Year | 2012 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | SAC '12 Proceedings of the 27th ACM Symposium on Applied Computing |
| DOI | http://dx.doi.org/10.1145/2245276.2245369 |
| Conference | 27th Annual ACM Symposium on Applied Computing, SAC 2012, Trento, Italy, 26-30 March |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583410 |
| Abstract |
