Do We Need Liveness? – Approximation of Liveness Properties by Safety Properties

DOI10.1007/3-540-36137-5_22zbMath1278.68224OpenAlexW1552641502MaRDI QIDQ3085987

Ulrich Ultes-Nitsche

Publication date: 1 April 2011

Published in: SOFSEM 2002: Theory and Practice of Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-36137-5_22

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Do We Need Liveness? – Approximation of Liveness Properties by Safety Properties