APICe » Publications » MilnerCacm36

Elements of Interaction: Turing Award Lecture

Robin Milner
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
Communications of the ACM 36(1), pages 78-89, January 1993, ACM Press, New York, NY, USA
@article{milner-cacm36,
	Acmid = {151240},
	Address = {New York, NY, USA},
	Author = {Milner, Robin},
	Doi = {10.1145/151233.151240},
	Issn = {0001-0782},
	Journal = {Communications of the ACM},
	Keywords = {CCS, interaction, naming and reference, pi calculus, process algebra, process calculus, reduction rule},
	Month = jan,
	Number = 1,
	Pages = {78--89},
	Publisher = {ACM Press},
	Title = {Elements of Interaction: {T}uring Award Lecture},
	Url = {http://dl.acm.org/citation.cfm?id=151240},
	Volume = 36,
	Year = 1993}