Syntax and defining equations for an interrupt mechanism in process algebra
J. C. M. Baeten, Jan Aldert Bergstra, Jan Willem Klop · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1985
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.