The π-Calculus in Direct Style (1997)

by Gerard Boudol
Citations:64 - 2 self