Bulletin of the European Association for Theoretical Computer Science, vol. 53 (1994) pp. 268-272
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.
Mendeley saves you time finding and organizing research
Choose a citation style from the tabs below