Verification of Liveness Properties in Distributed Systems
Communications in computer and information science2009pp. 625–636
Citations Over TimeTop 11% of 2009 papers
Related Papers
- → Proving that programs eventually do something good(2007)69 cited
- → Reasoning about Liveness Properties in Event-B(2011)54 cited
- → Verification of Liveness Properties in Distributed Systems(2009)12 cited
- → Liveness in Interaction Systems(2008)12 cited
- Susquehanna Chorale Spring Concert "Roots and Wings"(2017)