Describing progressive solutions to a parallel FSM equation

zbMATH Open1448.68259MaRDI QIDQ5117043FDOQ5117043

Authors: V. G. Bushkov 

Publication date: 20 August 2020

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

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

zbMATH Keywords

parallel finite-state machine

Mathematics Subject Classification ID

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

Cited In (5)

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

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)