J. J. M. M. Rutten

Relators and metric bisimulations (abstract only)

J. J. M. M. Rutten, 1999 .

Weighted colimits and formal balls in generalized metric spaces

J. J. M. M. Rutten, 1997 .

Software ENgineering Coalgebraic logic and synthesis of Mealy machines

M. M. Bonsangue, J. J. M. M. Rutten, A. M. Silva, 2007 .

Fundamental Study Behavioural di#erential equations: a coinductive calculus of streams, automata, andpower series

J. Rutten, J. J. M. M. Rutten, 2003 .