Reachability is decidable for ground AC Rewrite systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Reachability is decidable for ground AC Rewrite systems

Abstract

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00098437 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More