@article {BRS07a,
	title = {Coalgebraic logic and synthesis of Mealy machines},
	number = {SEN-0705},
	year = {2007},
	pages = {1-15},
	institution = {Centrum Wiskunde \& Informatica (CWI)},
	address = {Amsterdam, The Netherlands},
	abstract = {<p>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.</p>
},
	issn = {SEN-0705},
	attachments = {https://haslab.uminho.pt/sites/default/files/xana/files/11925d.pdf},
	author = {Marcello Bonsangue and Jan Rutten and Alexandra Silva}
}