Techniques from semantics (e.g., process algebra) and logic (e.g., modal and substructural) have been developed to provide a basis for systems modelling tools, such as Gnosis, that deploy these ideas ...