| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
The Coarsest Precongruences Respecting Safety and Liveness Properties
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.
Cited literature [15 references]
https://hal.inria.fr/hal-01054444
Contributor : Hal Ifip <>
Submitted on : Wednesday, August 6, 2014 - 4:24:45 PM
Last modification on : Wednesday, August 9, 2017 - 12:03:21 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 12:56:13 AM
Contributor : Hal Ifip <>
Submitted on : Wednesday, August 6, 2014 - 4:24:45 PM
Last modification on : Wednesday, August 9, 2017 - 12:03:21 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 12:56:13 AM
File
03230033.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License