On Rewriting Behavioural Semantics in Process Algebras