scientific article; zbMATH DE number 7301741

zbMath1472.68078MaRDI QIDQ5147341

Anatoli N. Chebotarev

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.

zbMATH Keywords

maximal solutionreactive system\( \Sigma \)-automatoninequality over \(\Sigma \)-automatalanguage \(L\) specificationsynchronous composition of \(\Sigma \)-automata

Mathematics Subject Classification ID

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: