Reachability of scope-bounded multistack pushdown systems

Salvatore La Torre, Margherita Napoli, Gennaro Parlato. Reachability of scope-bounded multistack pushdown systems. Inf. Comput., 275:104588, 2020. [doi]

Authors

Salvatore La Torre

This author has not been identified. Look up 'Salvatore La Torre' in Google

Margherita Napoli

This author has not been identified. Look up 'Margherita Napoli' in Google

Gennaro Parlato

This author has not been identified. Look up 'Gennaro Parlato' in Google