Notes on algebraic calculi of processes (1985)

by G Boudol