Algebraic Specification and Coalgebraic Synthesis of Mealy Automata

Jan J. M. M. Rutten. Algebraic Specification and Coalgebraic Synthesis of Mealy Automata. Electronic Notes in Theoretical Computer Science, 160:305-319, 2006. [doi]

Abstract

Abstract is missing.