View in EDS PDF Full Text

Element of Interaction :Touring Award Lecture.

Saved in:
Bibliographic Details
Title: Element of Interaction :Touring Award Lecture.
Authors: Milner, Robin1
Source: Communications of the ACM. Jan1993, Vol. 36 Issue 1, p78-89. 12p.
Subjects: Concurrent Aggregates (Computer program language), Information theory, Computer software, Comparative linguistics, Semantics, Programming languages
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..
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 12617125
AccessLevel: 6
PubType: Periodical
PubTypeId: serialPeriodical
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Element of Interaction :Touring Award Lecture.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Milner%2C+Robin%22">Milner, Robin</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Communications+of+the+ACM%22">Communications of the ACM</searchLink>. Jan1993, Vol. 36 Issue 1, p78-89. 12p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Concurrent+Aggregates+%28Computer+program+language%29%22">Concurrent Aggregates (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Information+theory%22">Information theory</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Comparative+linguistics%22">Comparative linguistics</searchLink><br /><searchLink fieldCode="DE" term="%22Semantics%22">Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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..
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=12617125
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/151233.151240
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 12
        StartPage: 78
    Subjects:
      – SubjectFull: Concurrent Aggregates (Computer program language)
        Type: general
      – SubjectFull: Information theory
        Type: general
      – SubjectFull: Computer software
        Type: general
      – SubjectFull: Comparative linguistics
        Type: general
      – SubjectFull: Semantics
        Type: general
      – SubjectFull: Programming languages
        Type: general
    Titles:
      – TitleFull: Element of Interaction :Touring Award Lecture.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Milner, Robin
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: Jan1993
              Type: published
              Y: 1993
          Identifiers:
            – Type: issn-print
              Value: 00010782
          Numbering:
            – Type: volume
              Value: 36
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Communications of the ACM
              Type: main
ResultId 1