Robin Milner
Communications of the ACM 36(1), pages 78-89
January 1993
This article reports the Turing Award Lecture by Robin Milner (1991).
keywords
CCS, interaction, naming and reference, pi calculus, process algebra, process calculus, reduction rule
journal or series
Communications of the ACM
(CACM)