The π-calculus in direct style (1998)

by G Boudol
Venue:Higher-Order and Symbolic Computation, 11:177 – 208