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.
参考文献
相似文献
引证文献
引用本文
李侃,王兵山,李舟军.并发面向对象语言的演算语义研究[J].国防科技大学学报,1996,18(1):86-91. 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.