The distinction of safety and liveness properties is often adopted in specification and design methods for distributed systems. We present a short survey on the "history" of these concepts and on papers that contributed to their general acceptance.
CITATION STYLE
Kindler, E. (1994). Safety and liveness properties: A survey. Bulletin of the European Association for Theoretical Computer Science, 53, 268–272. Retrieved from http://scholar.google.com/scholar?hl=en&btnG=Search&q=intitle:Safety+and+Liveness+Properties:+A+Survey#0
Mendeley helps you to discover research relevant for your work.