| Datum prijs | 31 aug. 2018 |
|---|---|
| Originele taal | Engels |
| Begeleider | S.P. (Bas) Luttik (Afstudeerdocent 1) |
Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination
Scriptie/Masterproef: Master