
Interleaving isotactics - An equivalence notion on behaviour abstractions
Keywords: Behavioural equivalence; Bisimulation; Process semantics; Behavioural abstraction; Model matching;