mobile computing Π-calculus

【文件属性】：

文件名称：mobile computing Π-calculus

文件大小：221KB

文件格式：PDF

更新时间：2017-05-18 04:20:38

Π演算

移​动​计​算方面​课​件，通信是计算的—个基本的、不可缺少的部分。通信可能发生在网络上的不同计算机之间，也可能发生在同一合计算机的各个部件之间。本文通过实例对语法、语义方面进行了探讨。