2 search results - page 1 / 1 » Coalgebraic Logic and Synthesis of Mealy Machines |
92
Voted
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
105
Voted
ENTCS
2006
15 years 11 days ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...