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

  • F.J. Schoenmakers

Student thesis: Master

Abstract

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

Cite this

Developing a distributed calendar system : towards a compositional version of L. Lamport's transition axiom method
Schoenmakers, F. J. (Author). 30 Jun 1989

Student thesis: Master