Algebraic specification and coalgebraic synthesis of Mealy machines (2006)

by J. J. M. M. Rutten
Venue:In: Proceedings of FACS 2005. ENTCS
Citations:19 - 7 self