The process of purely event-driven programs
Programming Languages
2018-08-28 v2 Logic in Computer Science
Abstract
Using process algebra, this paper describes the formalisation of the process/semantics behind the purely event-driven programming language.
Keywords
Cite
@article{arxiv.1803.11229,
title = {The process of purely event-driven programs},
author = {Bas van den Heuvel},
journal= {arXiv preprint arXiv:1803.11229},
year = {2018}
}
Comments
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