CaSPiS：会话、管道和服务的演算 电子书下载

原名:CaSPiS: A Calculus of Sessions, Pipelines and Services
作品简介:渠道。第二个是 π 演算通信原语似乎过于自由：缺乏它们被视为对本地进程之间的数据流进行建模的便捷机制：它更..本文实质上扩展并重新审视了暑期学校中的示例教程（布鲁……