History-register automata

DOI10.1007/978-3-642-37075-5_2MaRDI QIDQ4910409zbMATH OpenOpenAlexFDO

Authors Nikos Tzevelekos, Radu Grigore

Publication date 18 March 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37075-5_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• History-register automata
• Verification of dynamic register automata
• $$\textsc {Reach}$$ on Register Automata via History Independence
• R-Automata
• scientific article; zbMATH DE number 7361373

Cited in

(6)

• Regular and context-free nominal traces
• Weak and nested class memory automata
• Verification of dynamic register automata
• History-register automata
• Well structured transition systems with history
• Complexity hierarchies beyond elementary

This page was built for publication: History-register automata

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