Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems