Implementing POOSL's conditional receive statement in PROMELA

  • L.J. van Bokhoven

Student thesis: Master

Abstract

Date of Award28 Feb 1998
LanguageEnglish
SupervisorMartin Bastiaans (Supervisor 2) & W.M.G. van Bokhoven (Supervisor 1)

Cite this

Implementing POOSL's conditional receive statement in PROMELA
van Bokhoven, L. J. (Author). 28 Feb 1998

Student thesis: Master