Suchergebnisse - Rutten, Jan J.

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

von Rutten, Jan J., Turi, Daniele

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.

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.

A semantic approach to fairness

von Rutten, Jan J., Zucker, Jeffrey I.

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.