Elements of Interaction: Turing Award Lecture

   page       BibTeX_logo.png       attach   
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 chiaveCCS, interaction, naming and reference, pi calculus, process algebra, process calculus, reduction rule
rivista o collana
book Communications of the ACM (CACM)