Progressive Solutions to FSM Equations

DOI10.1007/978-3-540-70844-5_28MaRDI QIDQ3602822zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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

Cited in

(7)

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

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)