< Observer AutoProof Code Repository Relaxed Prefix >

Priority-Inheritance-Protocol

Category:

Source: IWACO'09 / SC'14

Description

Similar to Composite, except a node does not reference its children and the structure can have cycles. Termination is achieved by finishing the recursive update when we have encountered a big enough priority.

download source

Code