Reachability in Cyclic Extended Free-Choice Systems

Jörg Desel, Javier Esparza. Reachability in Cyclic Extended Free-Choice Systems. Theoretical Computer Science, 114(1):93-118, 1993.

Abstract

Abstract is missing.