Hierarchical and Recursive State Machines with Context-Dependent Properties.

Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato

Browse the full ICALP paper archive.