Thesis description: Name-passing process calculi: operational models and structural operational semantics.

by Sam Staton