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)

Available from scholar.google.com
Page 1
hidden
Page 2
hidden

Readership Statistics

22 Readers on Mendeley
by Discipline
 
 
 
by Academic Status
 
45% Ph.D. Student
 
14% Professor
 
9% Associate Professor
by Country
 
9% Portugal
 
9% France
 
9% United Kingdom

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