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
Li Kan, Wang Bingshan, Li Zhoujun. On Calculus Semantics of Concurrent Object-Oriented Language[J]. Journal of National University of Defense Technology,1996,18(1):86-91.