An existing axiomatization strategy for process algebras modulo bisimulation semantics can be extended so that it can be applied to other behavioural semantics as well. We study term rewriting properties of the resulting axiomatizations. © 2012 The Author. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved.