Rutten, J. J.M.M.
Rutten, J. J. M. M. 1959-....
Rutten, J.J.M.M. (Johannes Josephus Martinus Matheus), 1959-
Rutten, Johannes Josephus Martinus Matheus (1959- ).
Rutten, Johannes Josephus Martinus Matheus
Rutten, Jan
Rutten, Jan, 1959-....
Jan Rutten Ph.D. Vrije Universiteit Amsterdam 1989
Rutten, Jan J.M.M
VIAF ID: 44382739 ( Personal )
Permalink: http://viaf.org/viaf/44382739
Preferred Forms
- 100 0 _ ‡a Jan Rutten ‡c Ph.D. Vrije Universiteit Amsterdam 1989
- 200 _ | ‡a Rutten ‡b J. J. M. M. ‡f 1959-....
-
-
- 100 1 _ ‡a Rutten, J. J. M. M.
-
- 100 1 0 ‡a Rutten, J. J. M. M.
-
-
- 100 1 _ ‡a Rutten, J. J.M.M.
-
- 100 1 _ ‡a Rutten, Jan
-
- 100 1 _ ‡a Rutten, Jan, ‡d 1959-....
-
-
4xx's: Alternate Name Forms (11)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Advanced topics in bisimulation and coinduction | |
Algebra, bitstreams, and circuits | |
Algebraic specification and coalgebraic synthesis of Mealy automata | |
Automata, power series, and coinduction: taking input derivatives seriously (extended abstract) | |
Behavioural differential equations: a coinductive calculus of streams, automata, and power series | |
Bisimulation for probabilistic transition systems : a coalgebraic approach | |
Coalgebraic methods in computer science : CMCS '99, Amsterdam, The Nederlands, March 20-21, 1999 | |
Coequations and Eilenberg-type correspondences. | |
A coinductive calculus of component connectors | |
Coinductive counting with weighted automata | |
Concurrency semantics based on metric domain equations | |
Deriving denotational models for bisimulation from structured operational semantics | |
Elements of stream calculus (an extensive exercise in coinduction) | |
Explicit canonical representatives for weak bisimulation equivalence and congruence | |
Fully abstract denotational models for nonuniform concurrent languages | |
Generalized ultrametric spaces : completion, topology, and powerdomains via the Yoneda embedding | |
Hereditarily-finite sets and complete metric spaces | |
Initial algebra and final coalgebra semantics for concurrency | |
It's all about coordination : essays to celebrate the lifelong scientific achievements of Farhad Arbab | |
J.W. de Bakker, 25 jaar semantiek | |
Logic programming languages : constraints, functions, and objects | |
Mathematical techniques for analyzing concurrent and probabilistic systems, 2004: | |
Mixed inductive-coinductive reasoning : types, programs and logic | |
Nonwellfounded sets and programming language semantics | |
A note on coinduction and weak bisimilarity for while programs | |
On the foundations of final semantics: non-standard sets, metric spaces, partial orders | |
A parallel object-oriented language : design and semantic foundations | |
Processes as terms: non-well-founded models for bisimulation | |
Selected papers of the Workshop on Topology and Completion in Semantics, Chartres, France, 18-20 November 1993 | |
A semantic approach to fairness | |
Solving reflexive domain equations in a category of complete metric spaces | |
A structural co-induction theorem | |
Synthesis of mealy machines using derivatives | |
Ten years of concurrency semantics, 1992: | |
Universal coalgebra : a theory of systems | |
Weighted colimits and formal balls in generalized metric spaces | |
Word wie je wil : ontdek de 9 processen van je persoonlijkheid |