Developing a distributed calendar system : towards a compositional version of L. Lamport's transition axiom method

  • F.J. Schoenmakers

Student thesis: Master

Date of Award30 Jun 1989
Original languageEnglish
SupervisorW.P. de Roever (Supervisor 1)

Cite this

'