Sign up & Download
Sign in

Safety and liveness properties: A survey

by Ekkart Kindler, Ekkart Kindler
Bulletin of the European Association for Theoretical Computer Science ()
  • ISSN: 02529742

Abstract

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.

Cite this document (BETA)

Readership Statistics

19 Readers on Mendeley
by Discipline
 
 
 
by Academic Status
 
42% Ph.D. Student
 
16% Professor
 
11% Associate Professor
by Country
 
11% France
 
11% United Kingdom
 
5% Germany

Sign up today - FREE

Mendeley saves you time finding and organizing research. Learn more

  • All your research in one place
  • Add and import papers easily
  • Access it anywhere, anytime

Start using Mendeley in seconds!

Already have an account? Sign in