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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.