罗宾·米尔纳 通信系统的微积分。 (英语) Zbl 0452.68027号 计算机科学课堂讲稿,92。柏林-海德堡-纽约:斯普林格-弗拉格。VI、 171页21.50马克;$12.70(1980年)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描的页面 引用于23评论引用于621文件 MSC公司: 68N25号 操作系统理论 68-02 与计算机科学有关的研究展览会(专著、调查文章) 关键词:通信系统;并发系统;同步通信;同时合成;观察等价;无声过渡;CSP公司;CCS系统 引文:Zbl 0434.68066号 PDF格式BibTeX公司 XML格式