Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

The Coarsest Precongruences Respecting Safety and Liveness Properties

Robert Jan Glabbeek 1, 2 
1 NICTA - National ICT Australia [Sydney]
2 School of Computer Sc. and Eng.
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 metadata

Cited literature [15 references]  Display  Hide  Download
https://hal.inria.fr/hal-01054444
Contributor : Hal Ifip Connect in order to contact the contributor
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

Vignette du document
03230033.pdf
Files produced by the author(s)

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

IFIP | IFIP-AICT | IFIP-AICT-323 | IFIP-TC | IFIP-TC1 | IFIP-TC2 | IFIP-TCS | IFIP-WG2-2 | IFIP-WCC

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

54

Files downloads

40

 

Contact                    Legal Notice                    Personal Data