A congruence rule format for name-passing process calculi (2009)

by M P Fiore, S Staton
Venue:Inform. and Comput