scientific article; zbMATH DE number 7301741
From MaRDI portal
Publication:5147341
zbMath1472.68078MaRDI QIDQ5147341
Publication date: 26 January 2021
Full work available at URL: http://mathnet.ru/eng/pdm236
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
maximal solutionreactive system\( \Sigma \)-automatoninequality over \(\Sigma \)-automatalanguage \(L\) specificationsynchronous composition of \(\Sigma \)-automata
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Unnamed Item
- Approximation of sets of superwords by \(L\)-language formulas
- Interacting automata
- Approach to functional specification of automaton systems. I
- Progressive Solutions to a Parallel Automata Equation
- Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\)
This page was built for publication: