Actor语言相关硕士博士期刊学术论文

本文对π－演算进行了扩展，使之能支持异步通讯，然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语言。该演算语义能较好地刻划导步通讯机制、......