Georgiana Caltais
Original record- Institution
- Radboud Universiteit Nijmegen
- Year
- 2013
- Country
- Netherlands
- MGP identifier
- 211455
Dissertation: Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics.
Mathematics Subject Classification: 68—Computer science
Advisors 4
- Alexandra SilvaRadboud Universiteit Nijmegen · 2010
- Anna IngólfsdóttirUniversity of Sussex · 1995
- Marcello Maria BonsangueVrije Universiteit Amsterdam · 1996
- Johannes (Jan) Josephus Martinus Matheus RuttenVrije Universiteit Amsterdam · 1989
Students 0
No students recorded in this snapshot.