J.J.M.M. Rutten

Universal coalgebra: a theory of systems

J.J.M.M. Rutten · Theoretical Computer Science · 2000 · 1.2K citations

Algebraic Logic, Hopf Algebra, Universal Algebra +1

Behavioural differential equations: a coinductive calculus of streams, automata, and power series

J.J.M.M. Rutten · Theoretical Computer Science · 2003 · 151 citations · Full text

Logical Automaton, Engineering, Power Series +8

Bisimulation for probabilistic transition systems: a coalgebraic approach

E.P. de Vink, J.J.M.M. Rutten · Theoretical Computer Science · 1999 · 151 citations · Full text

Engineering, Automated Reasoning, Probabilistic System +4

Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding

Marcello Bonsangue, Franck van Breugel, J.J.M.M. Rutten · Theoretical Computer Science · 1998 · 126 citations

Domain Theory, Set-theoretic Topology, Computer Science +4

Operational semantics of a parallel object-oriented language

Pierre America, Jaco de Bakker, Joost N. Kok et al. · 1986 · 97 citations

Engineering, Ada.the Semantics, Software Engineering +23