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.

On the foundations of final semantics non-standard sets, metric spaces, partial orders von Rutten, Jan J., Turi, Daniele

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.

A semantic approach to fairness von Rutten, Jan J., Zucker, Jeffrey I.

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.

Initial algebra and final coalgebra semantics for concurrency von Rutten, Jan J., Turi, Daniele

Hereditarily-finite sets and complete metric spaces von Rutten, Jan J.

Deriving denotational models for bisimulation from structured operational semantics von Rutten, Jan J.

Semantic correctness for a parallel object-oriented language von Rutten, Jan J.

Contractions in comparing concurrency semantics von Kok, Joost N., Rutten, Jan J.

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.

A calculus of transition systems (towards universal coalgebra) von Rutten, Jan J.

Elements of generalized ultrametric domain theory von Rutten, Jan J.