Abstract
| Date of Award | 31 Aug 2018 |
|---|---|
| Original language | English |
| Supervisor | S.P. (Bas) Luttik (Supervisor 1) |
Cite this
Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination
Belder, A. (Author). 31 Aug 2018
Student thesis: Master