The π-calculus in direct style (1998)

by G Boudol
Venue:Higher-order and Symbolic Computation