Operational and algebraic semantics of concurrent processes (1990)

by R Milner
Venue:Handbook of Theoretical Computer Science, volume B