Forward analysis for WSTS, Part I: Completions

Alain Finkel 1 Jean Goubault-Larrecq 1, 2
2 SECSI - Security of information systems
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute a finite representation of the set of successors of the downward closure of a state, is harder: Until now, the theoretical framework for manipulating downward-closed sets was missing. We answer this problem, using insights from domain theory (dcpos and ideal completions), from topology (sobrifications), and shed new light on the notion of adequate domains of limits.
Type de document :
Communication dans un congrès
Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, pp.433-444, 2009
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00359699
Contributeur : Publications Loria <>
Soumis le : lundi 9 février 2009 - 11:09:40
Dernière modification le : vendredi 1 juin 2018 - 12:02:01
Document(s) archivé(s) le : mardi 8 juin 2010 - 22:05:18

Fichiers

finkel_new.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00359699, version 1
  • ARXIV : 0902.1587

Collections

Citation

Alain Finkel, Jean Goubault-Larrecq. Forward analysis for WSTS, Part I: Completions. Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, pp.433-444, 2009. 〈inria-00359699〉

Partager

Métriques

Consultations de la notice

227

Téléchargements de fichiers

189