Robin Milner

Communications of the ACM 36(1), pages 78-89, January 1993
ACM Press, New York, NY, USA

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
 @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

Journals & Series

Tags:

Publication

— authors

Robin Milner

— status

published

— sort

article in journal

Venue

— journal

Communications of the ACM

— volume

36

— issue

1

— pages

78-89

— publication date

January 1993

URLs

original page

Identifiers

— DOI

10.1145/151233.151240

— print ISSN

0001-0782

BibTeX

— BibTeX ID
milner-cacm36
— BibTeX category
article

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