Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1
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.
1985 ◽
Vol 37
◽
pp. 77-121
◽
1985 ◽
Vol 5
◽
pp. 171-199
◽
1997 ◽
Vol 177
(2)
◽
pp. 287-328
◽