并发面向对象语言的演算语义研究

On Calculus Semantics of Concurrent Object-Oriented Language

本文对л演算进行了扩展，使之能支持异步通讯，然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语义。该演算语义能较好地刻划异步通讯机制、演员的行为替换机制以及对象、类、封装、实例变量与临时变量等面向对象特征。

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-uoriented features such as object, class, encapsulation, instance variable, temporary variable etc.