Zoekresultaten
Resultaat 1 - 3 (van 3)
F. Bartels Generalised coinduction
Non-fictie
Engels | 45 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
F. Bartels On generalised coinduction and probabilistic specification formats
distributive laws in coalgebraic modelling
Non-fictie
Engels | 202 pagina's | 2004
Gedrukt boek
F. Bartels GSOS for probabilistic transition systems
Non-fictie
Engels | 49 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek