Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore.
Lecture 21 – CS2110 – Fall 2009 PROVING THINGS ABOUT CONCURRENT PROGRAMS.
Scalable Multi-core Model Checking Fairness Enhanced Systems
Computer Science 425 Distributed Systems (Fall 2009) Lecture 5 Multicast Communication Reading: Section 12.4 Klara Nahrstedt.
The DHCP Failover Protocol A Formal Perspective Rui FanMIT Ralph Droms Cisco Systems Nancy GriffethCUNY Nancy LynchMIT.