MWB公司

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


zbMATH参考文献(参考 33篇文章 参考)

显示第1到第20个结果,共33个。
按年份排序(引用)
  1. Bhattacharyya,Anirban;Mokhov,Andrey;Pierce,Ken:可靠系统动态重构建模与分析的经验比较(2017)
  2. 张睿;郭德贵;高文娟;刘磊:基于pi演算的本体进化建模(2016)
  3. Khomenko,Victor;Meyer,Roland;Hüchting,Reiner:(\pi)-微积分FCP到安全Petri网的多项式转换(2013)
  4. Mateescu,Radu;Salaün,Gwen:PIC2LNT:模型检查的模型转换应用pi演算(2013)
  5. Johansson,Magnus;Victor,Björn;Parrow,Joachim:计算psi计算的强与弱互模拟(2012)
  6. Martinho,Joana;Ravara,António:用多元同步在微积分中编码密码原语(2011)
  7. Jesper Bengtson;Parrow,Joachim:使用名义逻辑形式化pi演算(2009)
  8. 柯林斯,马修;莫纳汉,布莱恩;派姆,大卫:定位资源的逻辑和计算理论(2009)
  9. Collinson,Matthew;Pym,David:《基于资源的系统建模的代数与逻辑》(2009)
  10. Meyer,Roland:(\pi)-微积分中的结构平稳性理论(2009)
  11. Peschanski,Frédéric;Bialkiewicz,Joël-Alexis:使用(\pi)图建模和验证移动系统(2009)
  12. 吴朝辉;邓水光;李颖;吴健:动态服务组合中的计算兼容性(2009)ioport公司
  13. Ahmad,Raheel;Rahimi,Shahram:ACVisualizer:APi微积分的可视化工具(2008)
  14. Devillers,Raymond;Klaudel,Hanna;Koutny,Maciej:一般(\pi)的组合Petri网翻译-微积分术语(2008)
  15. Meyer,Roland;Khomenko,Victor;Strazny,Tim:使用网络展开验证移动系统的实用方法(2008)
  16. Danos,Vincent;Krivine,Jean;Tarissan,Fabien:自组装树(2007)
  17. De Nicola,Rocco;Gorla,Daniele;Pugliese,Rosario:元组空间动态网络中的全局计算(2007)
  18. Kang,Zuling;Wang,Hong Bing;Hung,Patrick C.K.:web服务协作的WS-CDL+(2007)ioport公司
  19. Chothia,Tom:使用pi演算分析静音匿名文件共享系统(2006)
  20. 密码学方法;本杰明静态分析法

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