Decidable Fragments of Simultaneous Rigid Reachability.

Vronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes

Browse the full ICALP paper archive.