Algebraic specification and coalgebraic synthesis of mealy automata, in: L.B. Zhiming Liu (Ed (0)

by J J M M Rutten
Venue:Proc. of FACS 2005, in: Electron. Notes Theor. Comput. Sci