Design of reactive algorithms by solving equations over automata
From MaRDI portal
Publication:2263188
DOI10.1007/s10559-012-9427-6zbMath1307.68046OpenAlexW2046836211MaRDI QIDQ2263188
Publication date: 18 March 2015
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-012-9427-6
maximal solutionreactive system\(\Sigma\)-FSMinequality over \(\Sigma\)-FSMsspecification in language Lsynchronous composition of \(\Sigma\)-FSMs
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
This page was built for publication: Design of reactive algorithms by solving equations over automata