MWB公司

移动工作台-π演算的工具。在本文中,我们描述了第一个原型版本的移动工作台(MWB),这是一个自动化的工具,用于操作和分析π演算中描述的移动并发系统(具有不断变化的连接结构的系统)。这个版本的MWB的主要特点是检查开放式互模拟等价物。我们用一个移动电话系统切换协议的自动分析例子来说明MWB


zbMATH中的参考文献(参考文献33条)

显示第1到第20个结果,共33个。
按年份排序(引用)
  1. 巴塔查里亚,阿尼尔班;莫霍夫,安德烈;Pierce,Ken:可靠系统动态重构建模与分析的经验比较(2017)
  2. 张瑞;郭德贵;高文娟;刘磊:基于pi演算的本体进化建模(2016)
  3. 霍门科,维克托;迈耶,罗兰;Hüchting,Reiner:(\pi)-微积分fcp到安全Petri网的多项式转换(2013)
  4. 马泰斯库,拉杜;Salaün,Gwen:PIC2LNT:模型检查的模型转换应用pi演算(2013)
  5. 约翰森,马格努斯;维克托,比约恩;帕罗,约阿希姆:计算psi计算的强和弱互模拟(2012)
  6. 马丁尼奥,乔安娜;Ravara,António:用多元同步在微积分中编码密码原语(2011)
  7. 本特森,杰斯帕;形式逻辑(2009)
  8. 柯林斯,马修;蒙纳汉,布莱恩;大卫·皮姆:《定位资源的逻辑与计算理论》(2009)
  9. 柯林斯,马修;Pym,David:基于资源的系统建模的代数和逻辑(2009)
  10. Meyer,Roland:(\pi)-微积分中的结构平稳性理论(2009)
  11. 佩尚斯基,弗里德里克;Bialkiewicz,Joël-Alexis:使用(\pi)-图建模和验证移动系统(2009)
  12. 吴兆辉;邓水光;李颖;吴健:动态服务组合中的计算兼容性(2009)ioport公司
  13. 艾哈迈德,拉希尔;Rahimi,Shahram:ACVisualizer:APi微积分的可视化工具(2008)
  14. 德维勒,雷蒙德;克劳代尔,汉娜;Koutny,Maciej:一般(\pi)-微积分术语的组合Petri网翻译(2008)
  15. 迈耶,罗兰;霍门科,维克托;斯特拉兹尼,蒂姆:使用网络展开验证移动系统的实用方法(2008)
  16. 丹诺斯,文森特;克里文,琼;Tarissan,Fabien:自组装树(2007)
  17. 德尼古拉,罗科;戈拉,丹妮尔;普格利泽,罗萨里奥:元组空间动态网络中的全局计算(2007)
  18. 康、祖陵;王红兵;Hung,Patrick C.K.:web服务协作的WS-CDL+(2007)ioport公司
  19. Chothia,Tom:使用pi演算分析静音匿名文件共享系统(2006)
  20. 阿齐兹,本杰明;汉密尔顿,杰夫;Gray,David:密码过程的静态分析:指称方法(2005)

更多出版物请访问:http://www.it.uu.se/research/group/mobility/publ