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}

Tags:
    

Publication

Elements of Interaction: Turing Award Lecture

— status

published  

— authors

Robin Milner

URLs & IDs

original page

— DOI

10.1145/151233.151240

— print ISSN

0001-0782

BibTeX

— BibTeX ID
milner-cacm36
— BibTeX category
article

APICe

— journal/series
CACM

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY