Subclasses of recognizable trace languages

DOI10.1007/3-540-60029-9_49zbMath1496.68179OpenAlexW2105668580MaRDI QIDQ5096371

Henning Reineke

Publication date: 16 August 2022

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

Full work available at URL: https://doi.org/10.1007/3-540-60029-9_49

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Mixed product and asynchronous automata
• Theory of traces
• Combinatorics on traces
• Notes on finite asynchronous automata

This page was built for publication: Subclasses of recognizable trace languages