Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine.

Bjarno Oeyen Joeri De Koster Wolfgang De Meuter

Published in: REBLS@SPLASH (2022)

Keyphrases

formal model
virtual machine
low level
reactive systems
programming language
high level
operating system
distributed computing
predicate calculus
security patterns
intrusion detection
agent architecture
computing resources
multi tasking
database
security properties
formal methods
higher level
data mining
real time