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)