Finiteness Conditions and Structural Construction of Automata for All Process Algebras.

Eric Madelaine, Didier Vergamini

Browse the full CAV paper archive.