Job (Jakob) Zwiers
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1988
- Country
- Netherlands
- MGP identifier
- 129428
Dissertation: Compositionality, Concurrency and Partial Correctness : Proof Theories for Networks of Processes, and their Connection
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Peter van Emde BoasUniversiteit van Amsterdam · 1974
- Willem-Paul de RoeverVrije Universiteit Amsterdam · 1974
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Trung Huu Bui | Universiteit Twente | 2008 | 0 |
| Wojciech Janusz Jamroga | Not recorded | — | 2 |
| Wil Janssen | Universiteit Twente | 1994 | 0 |