Elements of Interaction: Turing Award Lecture


Robin Milner

Communications of the ACM 36(1), pp. 78-89
gennaio 1993

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

Riviste & collane

Tags:

Pubblicazioni

Pubblicazioni / Viste

Home

Nuvole
•  tag  •  autori  •  curatori  •  riviste  

Anno
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Tipo
•  su rivista  •  in atti  •  capitoli  •  libri  •  curatele  •  speciali  •  editoriali  •  voci  •  manuali  •  rapporti  •  tesi phd  •  altre  

Stato
•  online  •  in stampa  •  bozza stampa  •  camera-ready  •  revisionato  •  accettato  •  in revisione  •  sottoposto  •  bozza  •  nota  

Servizi
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Pubblicazione

— autori/autrici

Robin Milner

— stato

pubblicato

— tipo

articolo su rivista

— data di pubblicazione

gennaio 1993

— rivista

Communications of the ACM

— volume

36

— numero

1

— pagine

78-89

— indirizzo

New York, NY, USA

URL

pagina originale

identificatori

— DOI

10.1145/151233.151240

— print ISSN

0001-0782

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY