Implementing POOSL's conditional receive statement in PROMELA

  • L.J. van Bokhoven

Student thesis: Master

Abstract

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

Cite this

'