Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

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

File

03230033.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Robert Jan Glabbeek. The Coarsest Precongruences Respecting Safety and Liveness Properties. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.32-52, ⟨10.1007/978-3-642-15240-5_3⟩. ⟨hal-01054444⟩

Share

Metrics

Record views

122

Files downloads

132