-
通信顺序进程英文版 Hoare经典著作 经典无需多言。
大小：735.42KB | 2020-12-05 20:31:51 -
进程代数手册第二部分 60多M压缩完了50多兆，只好分两部分压缩了。
大小：28.32MB | 2020-04-24 10:38:46 -
图灵奖得主Milner著作该牛有三本通信系统演算著作：1989CommunicationandCon...
大小：6MB | 2019-09-23 05:52:45 -
进程代数之通信与移动系统：pai演算图灵奖得主Milner经典著作此为英文版，国内有中文版。89年那...
大小：6MB | 2019-09-20 22:44:27 -
Milner经典著作第三弹第一弹没找着，呵呵供需要的坛友下吧
大小：2.12MB | 2019-07-29 03:31:23 -
java开发的自动机工具集FLAP基本上形式化与自动机方面的实例都有了，很不错的工具。
大小：9.33MB | 2019-05-07 13:07:39 -
大小：0 | 2019-03-01 09:20:33
-
进程代数手册 1000多页的大部头 英文版，2000出版，基本上2000年之前的进程代数内容这里面都...
大小：30MB | 2018-12-28 22:25:17 -
大小：0 | 2018-12-09 03:15:09
Ta的上传资源列表