2 search results - page 1 / 1 » Coalgebraic Logic and Synthesis of Mealy Machines |
FOSSACS
2008
Springer
13 years 5 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...
ENTCS
2006
13 years 4 months 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...