1. Engines🔗

An engine is the fundamental unit of computation. The entire formalization is parametric over a finite type of engine indices, which determines the message, configuration, and state types for each engine kind. This section covers Definitions 1–18 of the paper (Sections 2–3).

1. 1.1. Parametric Context
2. 1.2. Messages
3. 1.3. Lifecycle and Mode
4. 1.4. Configuration and Environment
5. 1.5. Effects
6. 1.6. Guards and Guarded Actions
7. 1.7. Behaviours
8. 1.8. Engine