The process of purely event-driven programs

2018/03/29 by Bas van den Heuvel, Heuvel, Bas van den
Computer Science · #Advanced Database Systems and Queries #Cognitive Computing and Networks #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)

paper · pdf · doi:10.48550/arxiv.1803.11229

openalex publication_date 2018/03/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Using process algebra, this paper describes the formalisation of the process/semantics behind the purely event-driven programming language.

Related

• A short introduction to process theory
• A Logical Approach to Event Handling in Imperative Languages
• A Process Algebra Software Engineering Environment
• Concurrent Composition and Algebras of Events, Actions, and Processes
• P