Replacement freeness: A criterion for separating process calculi - Pugliese, Rosario; Tiezzi, Francesco (Journal of logical and algebraic methods in programming, 2020)