Notes on algebraic calculi of processes (1985)

by G Boudol
Venue:Logics and Models of Concurrent Systems