Algebraic theories for name-passing calculi (1995)

by Joachim Parrow, Davide Sangiorgi
Venue:in Proceedings of A Decade in Concurrency, LNCS 803: 477–508