Publications

2 results for John Havlicek

Safety and liveness, weakness and strength, and the underlying topological relations
- - Cindy Eisner
  - Dana Fisman
  - et al.
- 2014
- ACM TOCL
A topological characterization of weakness
- - Cindy Eisner
  - Dana Fisman
  - et al.
- 2005
- PODC 2005