完全抽象相关硕士博士期刊学术论文

基于消息传递的并发程序设计语言广泛应用于大规模分布式系统和协调系统的开发过程中。本文介绍带缓存的π演算，它是π演算的变体，其......