Date of Award | 31 Aug 2013 |
---|---|
Original language | English |
Supervisor | S.P. (Bas) Luttik (Supervisor 1) |
An axiomatisation for rooted branching bisimulation with explicit divergence
Student thesis: Master