The process of purely event-driven programs
Bas van den Heuvel
TL;DR
This paper formalizes the semantics of purely event-driven programming languages using process algebra, providing a rigorous foundation for understanding their behavior.
Contribution
It introduces a formal process algebra-based model specifically for the semantics of purely event-driven programs, which is novel in this context.
Findings
Formal semantics of event-driven programs established
Process algebra model accurately captures program behavior
Provides a foundation for further analysis and verification
Abstract
Using process algebra, this paper describes the formalisation of the process/semantics behind the purely event-driven programming language.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCognitive Computing and Networks · Distributed systems and fault tolerance · Advanced Database Systems and Queries