The π-Calculus in Direct Style (1997)

by Gerard Boudol
Citations:67 - 2 self