分布式Pi——演算
A Distributed Pi-Calculus
摘要
从利用自动柜员机在我们的银行户头取出现金到在线购物网站，交互式系统渗入了我们的日常生活。分布式系统很快已成为计算机科学中的标准，支持这些系统做为基础的技术，包括软件和硬件都是很先进的。但是为确保这些系统正确行为的设计原理和技术却处于更为原始的阶段。
出处
《国外科技新书评介》
2008年第10期20-21,共2页
Scientific & Technology Book Review
-
1佚名.骗子黑客[J].信息化建设,2006(1):74-74.
-
2王兴国.小心新骗术:款到账后又消失[J].农技服务,2006(6):54-54.
-
3蔡银珊.基于PKI技术的应用及密钥的管理[J].电脑知识与技术,2005(2):31-33.
-
4潘革平.欧盟周全呵护消费者[J].今日南国,2009(8):57-57.
-
5徐瑞.我能否要求分割女儿的压岁钱[J].农村实用科技信息,2011(4):71-71.
-
6李大为,徐瑞.我能否要求分割女儿的压岁钱[J].农村新技术,2011(2):47-47.
-
7余利琅,航瑞.字体的秘密[J].计算机应用文摘,2005(11):76-77.
-
8要案现场[J].电脑应用文萃,2006(5):11-11.
-
9龚洪泉,赵文耘,徐如志,钱乐秋.基于Pi演算的构件演化研究[J].电子学报,2004,32(F12):238-242. 被引量：8
-
10王曦.UNIX系统中的安全因素[J].内蒙古科技与经济,2000(2):37-38.
