Describing progressive solutions to a parallel FSM equation

MaRDI QIDQ5117043zbMATH OpenFDO

Authors V. G. Bushkov

Publication date 20 August 2020

Full work available at URL http://mathnet.ru/eng/pdm20

zbMATH Keywords

parallel finite-state machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algorithms on strings (68W32)

Recommendations

• Progressive Solutions to FSM Equations
• Compositionally progressive solutions of synchronous FSM equations
• Progressive solutions to a parallel automata equation
• Progressive solutions to a parallel automata equation
• Design of reactive algorithms by solving equations over automata

Cited in

(5)

• Compositionally progressive solutions of synchronous FSM equations
• Progressive solutions to a parallel automata equation
• Progressive solutions to a parallel automata equation
• Progressive Solutions to FSM Equations
• Solving inequalities over finite state machines in the reactive systems design

This page was built for publication: Describing progressive solutions to a parallel FSM equation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117043)