The Coarsest Precongruences Respecting Safety and Liveness Properties - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

The Coarsest Precongruences Respecting Safety and Liveness Properties

Résumé

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.

Domaines

Bibliothèque électronique [cs.DL]
Fichier principal
Vignette du fichier
03230033.pdf (254.1 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01054444

Soumis le : mercredi 6 août 2014-16:24:45

Dernière modification le : mercredi 9 août 2017-12:03:21

Archivage à long terme le : mercredi 26 novembre 2014-00:56:13

Télécharger pour visualiser

Dates et versions

hal-01054444 , version 1 (06-08-2014)

Licence

Paternité

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP IFIP-AICT IFIP-AICT-323 IFIP-TC IFIP-TC1 IFIP-TC2 IFIP-TCS IFIP-WG2-2 IFIP-WCC
84 Consultations
52 Téléchargements

Altmetric

Partager

More