The Coarsest Precongruences Respecting Safety and Liveness Properties
arXiv:1007.5491 · doi:10.1007/978-3-642-15240-5_3
Abstract
This paper characterises the coarsest refinement preorders on labelled transition systems that are precongruences for renaming and partially synchronous interleaving operators, and respect all safety, liveness, and conditional liveness properties, respectively.
arXiv comment2018: A reference to Lamport has been corrected into one to Alpern & Schneider