Name-passing process calculi: operational models and structural operational semantics (2007)

by S Staton