220 followers
Automatic Completion of Distributed Protocols with Symmetry. - Rajeev Alur, Mukund Raghothaman, Christos Stergiou,… http://t.co/gR7mI25qsG
Automatic Completion of Distributed Protocols with Symmetry. - Rajeev Alur, Mukund Raghothaman, Christos Stergiou,… http://t.co/gR7mI25qsG