Reset Nets Between Decidability and Undecidability.

Catherine Dufourd, Alain Finkel, Philippe Schnoebelen

Browse the full ICALP paper archive.