On Calculus Semantics of Concurrent Object-Oriented Language
DOI:
CSTR:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In this paper π-calculus is extended in order to support asynchronous communication,then the calculus semantics of a simple Actor language is given. This calculus semantics can express asynchronous communication,the actor's behaviour replacement and some important object-oriented features such as object,class,encapsulation,instance variable,temporary variable etc.

    Reference
    Related
    Cited by
Get Citation
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:November 19,1995
  • Revised:
  • Adopted:
  • Online: June 11,2014
  • Published:
Article QR Code