In: EATCS-Bulletin, Vol. 53, pages 268-272. June 1994.
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.