Petri Automata for Kleene Allegories
From MaRDI portal
Publication:4635792
DOI10.1109/LICS.2015.17zbMath1392.68285OpenAlexW1840074037MaRDI QIDQ4635792
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2015.17
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
Unnamed Item ⋮ Unnamed Item ⋮ On series-parallel pomset languages: rationality, context-freeness and automata ⋮ Completeness for Identity-free Kleene Lattices ⋮ Unnamed Item ⋮ Reversible Kleene lattices
This page was built for publication: Petri Automata for Kleene Allegories