On timed scope-bounded context-sensitive languages

DOI10.1007/978-3-030-24886-4_12MaRDI QIDQ2327552zbMATH OpenOpenAlexFDO

Authors Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi, Devendra Bhave

Publication date 15 October 2019

Full work available at URL https://arxiv.org/abs/1905.11125

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• A perfect class of context-sensitive timed languages
• A perfect model for bounded verification
• Scope-bounded pushdown languages
• Scope-bounded pushdown languages
• scientific article; zbMATH DE number 1256652

Cited in

(1)

• Reachability relations of timed pushdown automata

This page was built for publication: On timed scope-bounded context-sensitive languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2327552)