The Coarsest Precongruences Respecting Safety and Liveness Properties
classification
💻 cs.LO
keywords
livenesscoarsestprecongruencespropertiessafetycharacterisesconditionalinterleaving
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.