Jean-Bernard斯特凡尼 凯尔微积分。 （英语） Zbl 1270.68226号 Focardi，Riccardo（编辑）等人，FGC’03。全球计算基础。2003年6月28日至29日，荷兰埃因霍温，第二届EATCS研讨会会议记录（ICALP 2003卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》85，第1期，40-60（2003）。 小结：本文介绍了kell演算，这是一种新的过程演算，它以更简单的设置保留了M演算（局部动作、高阶过程和可编程膜）的原始见解。演算的表现力足以为最近的几个分布式进程演算（如移动环境和分布式连接演算）提供直接编码。关于整个系列，请参见[Zbl 1271.68037号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.斯特凡尼}，电子。注释Theor。计算。科学。85，第1号，40-60（2003年；兹bl 1270.68226） 全文： 链接