| Date of Award | 1988 |
|---|---|
| Original language | English |
| Supervisor | C.J. Koomen (Supervisor 1), Grzegorz Rozenberg (External coach), H.C.M. Kleijn (External coach) & P.J. de Graaff (Supervisor 2) |
Cite this
- Standard
Effective methods to prove bisimilarity for subsets of CCS
Student thesis: Master