MWB公司

此软件的关键字
zbMATH参考文献(参考
33篇文章
参考)
Bhattacharyya,Anirban;Mokhov,Andrey;Pierce,Ken:可靠系统动态重构建模与分析的经验比较(2017) 张睿;郭德贵;高文娟;刘磊:基于pi演算的本体进化建模(2016) Khomenko,Victor;Meyer,Roland;Hüchting,Reiner:(\pi)-微积分FCP到安全Petri网的多项式转换(2013) Mateescu,Radu;Salaün,Gwen:PIC2LNT:模型检查的模型转换应用pi演算(2013) Johansson,Magnus;Victor,Björn;Parrow,Joachim:计算psi计算的强与弱互模拟(2012) Martinho,Joana;Ravara,António:用多元同步在微积分中编码密码原语(2011) Jesper Bengtson;Parrow,Joachim:使用名义逻辑形式化pi演算(2009) 柯林斯,马修;莫纳汉,布莱恩;派姆,大卫:定位资源的逻辑和计算理论(2009) Collinson,Matthew;Pym,David:《基于资源的系统建模的代数与逻辑》(2009) Meyer,Roland:(\pi)-微积分中的结构平稳性理论(2009) Peschanski,Frédéric;Bialkiewicz,Joël-Alexis:使用(\pi)图建模和验证移动系统(2009) 吴兆光,吴兆光(2009;动态计算;吴兆光;动态计算) ioport公司 Ahmad,Raheel;Rahimi,Shahram:ACVisualizer:APi微积分的可视化工具(2008) Devillers,Raymond;Klaudel,Hanna;Koutny,Maciej:一般(\pi)的组合Petri网翻译-微积分术语(2008) Meyer,Roland;Khomenko,Victor;Strazny,Tim:使用网络展开验证移动系统的实用方法(2008) Danos,Vincent;Krivine,Jean;Tarissan,Fabien:自组装树(2007) De Nicola,Rocco;Gorla,Daniele;Pugliese,Rosario:元组空间动态网络中的全局计算(2007) Kang,Zuling;Wang,Hong Bing;Hung,Patrick C.K.:web服务协作的WS-CDL+(2007) ioport公司 Chothia,Tom:使用pi演算分析静音匿名文件共享系统(2006) Aziz,Benjamin;Hamilton,Geoff;Gray,David:密码过程的静态分析:指称方法(2005)