The Coarsest Precongruences Respecting Safety and Liveness Properties
Rob Van Glabbeek · 2014
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, live-ness, and conditional liveness properties, respectively. 1