| Original language | English |
|---|---|
| Qualification | PhD |
| Awarding Institution |
|
| Supervisors/Advisors |
|
| Award date | 3 Jun 2004 |
| Publication status | Published - 2004 |
On generalised coinduction and probabilistic specification formats: Distributive laws in coalgebraic modelling
F. Bartels
Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
80
Downloads
(Pure)