An action-based formal model for concurrent real-time systems
Colin Fidge, Andy J. Wellings · Formal Aspects of Computing · 1997
Abstract Action systems are a formalism for representing concurrent behaviours, based on interleaved atomic actions. We show how this model can be used to represent time-consuming, pre-emptible actions with real-time constraints. A development procedure is described which captures the steps programmers typically undertake in the design of real-time multi-tasking systems.