Comparing operational models of name-passing process calculi (0)

by M Fiore, S Staton
Venue:Information and Computation