Selected papers that cite this one Joachim Parrow and Davide Sangiorgi. Algebraic theories for name-passing calculi. Information and Computation, 120(2):174-197, 1 August 1995.