Sciweavers

FOSSACS
2008
Springer

Coalgebraic Logic and Synthesis of Mealy Machines

13 years 5 months ago
Coalgebraic Logic and Synthesis of Mealy Machines
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 to a finite formula in the language. For the converse, we give a compositional synthesis algorithm which transforms every formula into a finite Mealy machine whose behaviour is exactly the set of causal functions satisfying the formula.
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FOSSACS
Authors Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
Comments (0)