| Date of Award | 30 Jun 1989 |
|---|---|
| Original language | English |
| Supervisor | W.P. de Roever (Supervisor 1) |
Cite this
- Standard
Developing a distributed calendar system : towards a compositional version of L. Lamport's transition axiom method
Student thesis: Master