Progressive Solutions to FSM Equations

DOI10.1007/978-3-540-70844-5_28zbMATH Open1172.68503OpenAlexW1591223136MaRDI QIDQ3602822FDOQ3602822

Authors: Khaled El-Fakih, Nina Yevtushenko 

Publication date: 12 February 2009

Published in: Implementation and Applications of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70844-5_28

Recommendations

• Describing progressive solutions to a parallel FSM equation
• 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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (7)

• Compositionally progressive solutions of synchronous FSM equations
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Progressive solutions to a parallel automata equation
• Solving inequalities over finite state machines in the reactive systems design
• Factorisation of finite state machines under strong and observational equivalences
• Describing progressive solutions to a parallel FSM equation
• Progressive solutions to a parallel automata equation

This page was built for publication: Progressive Solutions to FSM Equations

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