Elements of Interaction: Turing Award Lecture

   page       BibTeX_logo.png   
Robin Milner
Communications of the ACM 36(1), pp. 78-89
gennaio 1993

This article reports the Turing Award Lecture by Robin Milner (1991).

parole chiave   CCS, interaction, naming and reference, pi calculus, process algebra, process calculus, reduction rule
rivista o collana
book Communications of the ACM (CACM)