On generalised coinduction and probabilistic specification formats: Distributive laws in coalgebraic modelling

F. Bartels

Research output: PhD ThesisPhD Thesis - Research external, graduation VU

12 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Rutten, J.J.M.M., Supervisor
  • Baeten, J.C.M., Supervisor, External person
Award date3 Jun 2004
Publication statusPublished - 2004

Cite this