Suchergebnisse - Rutten, Jan J. M. M.

Automata and coinduction: (an exercise in coalgebra)

von Rutten, Jan J. M. M.

A calculus of transition systems: (towards universal coalgebra)

von Rutten, Jan J. M. M.

Weighted colimits and formal balls in generalized metric spaces

von Rutten, Jan J. M. M.

Universal coalgebra: a theory of systems

von Rutten, Jan J. M. M.

Elements of generalized ultrametric domain theory

von Rutten, Jan J. M. M.

Initial algebra and final coalgebra semantics for concurrency

von Rutten, Jan J. M. M.

A structural co-induction theorem

von Rutten, Jan J. M. M.

Processes as terms: non-well-founded models for bisimulation

von Rutten, Jan J. M. M.

Hereditarily finite sets and complete metric spaces

von Rutten, Jan J. M. M.

Automata, power series, and coinduction: taking input derivatives seriously (extended abstract)

von Rutten, Jan J. M. M.

Inhaltsverzeichnis

A note on coinduction and weak bisimilarity for while programs

von Rutten, Jan J. M. M.

On the foundations of final semantics: non-standard sets, metric spaces, partial orders

von Rutten, Jan J. M. M.

It's all about coordination: essays to celebrate the lifelong scientific achievements of Farhad Arbab

Weitere beteiligte Personen: “… Rutten, Jan J. M. M. …”
Online lesen