Alles van: J.J.M.M. Rutten
Resultaat 1 - 20 (van 40)
A.M. Silva | J.J.M.M. Rutten A coinductive calculus of binary trees
Non-fictie
Engels | 28 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
A.M. Silva | J.J.M.M. Rutten Behavioural differential equations and coinduction for binary trees
Non-fictie
Engels | 13 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Marcello Bonsangue | J.J.M.M. Rutten | A.M. Silva Coalgebraic logic and synthesis of Mealy machines
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2007
Gedrukt boek
Helle Hvid Hansen | D.F. de Oliveira Costa | J.J.M.M. Rutten Synthesis of mealy machines using derivatives
Non-fictie
Engels | 24 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2006
Gedrukt boek
J.J.M.M. Rutten Algebra, bitstreams, and circuits
Non-fictie
Engels | 21 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
J.J.M.M. Rutten Algebraic specification and coalgebraic synthesis of Mealy automata
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
J.J.M.M. Rutten Coinductive counting with weighted automata
Non-fictie
Engels | 30 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
F. Arbab | J.J.M.M. Rutten A coinductive calculus of component connectors
Non-fictie
Engels | 17 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
J.J.M.M. Rutten Coinductive counting: bisimulation in enumerative combinatorics (extended abstract)
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
J.J.M.M. Rutten Elements of stream calculus (an extensive exercise in coinduction)
Non-fictie
Engels | 54 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
J.J.M.M. Rutten Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Non-fictie
Engels | 46 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
J.J.M.M. Rutten Coalgebra, concurrency, and control
Non-fictie
Engels | 31 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
J.J.M.M. Rutten Automata, power series, and coinduction: taking input derivatives seriously (extended abstract)
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
E.P. de Vink | J.J.M.M. Rutten Bisimulation for probabilistic transition systems
a coalgebraic approach
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
J.J.M.M. Rutten Automata and coinduction
(an exercise in coalgebra)
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
J.J.M.M. Rutten A note on coinduction and weak bisimilarity for while programs
Non-fictie
Engels | 6 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
J.J.M.M. Rutten Weighted colimits and formal balls in generalized metric spaces
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
J.J.M.M. Rutten Universal coalgebra
a theory of systems
Non-fictie
Engels | 55 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Marcello Bonsangue | F. van Breugel | J.J.M.M. Rutten Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding
Non-fictie
Engels | 43 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
J.J.M.M. Rutten A calculus of transition systems (towards universal coalgebra)
Non-fictie
Engels | 25 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek