Reachability is decidable for ground AC Rewrite systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Reachability is decidable for ground AC Rewrite systems

Résumé

Nous montrons que l'accessibilité est décidable pour les systèmes de réécriture clos modulo AC. Ce résultat s'interprète dans l'algèbre des processus.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00098437 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098437 , version 1

Citer

Richard Mayr, Michaël Rusinowitch. Reachability is decidable for ground AC Rewrite systems. INFINITY '98, 3rd International Workshop on Verification of Infinite State Systems, 1998, Aalborg, Denmark, 12 p. ⟨inria-00098437⟩
40 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More