The process of purely event-driven programs
arXiv:1803.11229
Abstract
Using process algebra, this paper describes the formalisation of the process/semantics behind the purely event-driven programming language.
Supervisors: Dr. A. Ponse and Dr. ir. B. Diertens; 15 pages, 3 figures in appendix; Updated most process descriptions to the style of PSF. Also fixed some design errors that came to light during testing