On Visibly Pushdown Trace Languages

DOI10.1007/978-3-662-46078-8_32zbMath1432.68240OpenAlexW437170895MaRDI QIDQ5175125

Friedrich Otto

Publication date: 20 February 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-46078-8_32

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Realizability of concurrent recursive programs ⋮ A survey on automata with translucent letters

This page was built for publication: On Visibly Pushdown Trace Languages