Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1
J. C. M. Baeten, Jan Aldert Bergstra, Jan Willem Klop · Fundamenta Informaticae · 1986
A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whereby some actions have priority over others in a non-deterministic choice (or sum). This mechanism can be used to model the working of interrupts in a distributed system. This is illustrated in an extensive example.