Back to Search Start Over

Element of Interaction :Touring Award Lecture.

Authors :
Milner, Robin
Source :
Communications of the ACM. Jan1993, Vol. 36 Issue 1, p78-89. 12p.
Publication Year :
1993

Abstract

The article presents information about semantic basis of concurrent computation delivered at Touring Award lecture by the author. Concurrency requires a fresh approach, not merely an extension of the repertoire of entities and constructions which explain sequential computing. It also describes efforts to find basic constructions for concurrency, guided by experience with sequential semantics. This works which led to a Calculus for Communicating Systems. It outlines a new basic calculus for concurrency. A theory of concurrency and interaction requires a new conceptual framework. Scott-Starchey approach to programming language semantics, a theory of domains, Shared Memory Model represents the active⁄passive distinction between components, by using differently shaped nodes. Static constructions and dynamic constructions are described. The meaning and values of sequential paradigm are described. Pi calculus and the naming or reference has been described. It was concluded that a basic model of concurrency is guided by a sequential paradigm. INSET: Sources and Related Work..

Details

Language :
English
ISSN :
00010782
Volume :
36
Issue :
1
Database :
Academic Search Index
Journal :
Communications of the ACM
Publication Type :
Periodical
Accession number :
12617125
Full Text :
https://doi.org/10.1145/151233.151240