EMSO-definability of some languages with event structures
From MaRDI portal
Publication:937912
DOI10.1007/s10958-005-0357-yzbMath1145.03316OpenAlexW2092421147MaRDI QIDQ937912
Yu. G. Shukuryan, K. V. Shakhbazyan
Publication date: 18 August 2008
Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-005-0357-y
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Cites Work