高阶分布式过程演算的抽象机作者：Marc Lacoste 电子书下载

原名:An Abstract Machine for a Higher-Order Distributed Process Calculus by Marc Lacoste
作品简介:基本路由步骤：一次穿过一个细胞膜。路由和名称管理与计算：分布式查找服务。……