Reisverslag

Accordingly, a monitored API relation, ⇓API, has the form hµ,Γ,Σ,−→v ,−→σi ⇓API hµ0,Γ0,Σ0, v, σi which adds to the original API configuration the initial and final