裴楚丘

结构平稳性理论π-微积分自动机的理论表示已被证明是有用的自动和精确的分析计算系统。我们提出了一个新的语义映射π-微积分处理成位置/转换Petri网。我们的翻译利用了由受限名称创建的连接,即使对于具有无界名称和无界进程创建的进程,也可以生成有限网络。结构平稳性的性质表征了映射到有限网的过程。我们利用新的特征函数为结构平稳性提供了精确的条件。作为该理论的应用,我们确定了一个结构平稳过程的丰富句法类,称为有限处理过程。我们的Petri网翻译有助于自动验证类中建模的案例研究


zbMATH中的参考文献(参考文献15条,2标准条款)

显示第1到15个结果,共15个。
按年份排序(引用)

  1. 巴塔查里亚,阿尼尔班;莫霍夫,安德烈;Pierce,Ken:可靠系统动态重构建模与分析的经验比较(2017)
  2. 奥索尔多,伊曼纽尔;Luke Ong,C.-H.:(\pi)-微积分中的层次通信拓扑(2016)
  3. 霍门科,维克托;迈耶,罗兰;Hüchting,Reiner:(\pi)-微积分fcp到安全Petri网的多项式转换(2013)
  4. 阿乔,露西亚;Boreale,Michele:通过行为类型决定无限状态pi演算的安全性(2012)
  5. 凯洛里亚,安托万:《数值同质化:调查、新结果和前景》(2012)
  6. 凯撒,亚历山大;丹尼尔,克罗宁;Wahl,Thomas:证据最小化的有效覆盖性分析(2012)
  7. 迈耶,罗兰;霍门科,维克托;Hü希廷,雷纳:(\pi)-微积分(FCP)到安全Petri网的多项式转换(2012)
  8. 罗莎·维拉多,费尔南多;马尔托斯萨尔加多ía: 基于名称绑定的深度受限过程验证的多集重写(2012)
  9. 迈耶,罗兰;斯特拉兹尼,蒂姆:\textscPetruchio:从动态网络到网络(2010)ioport公司
  10. 保罗巴尔丹;邦奇,菲利波;Gadducci,Fabio:使用开放Petri网编码异步交互(2009)
  11. 布西,纳迪亚;Gorrieri,Roberto:基于带约束弧的Petri网的(\pi)-演算的分布式语义(2009)
  12. Meyer,Roland:(\pi)-微积分中的结构平稳性理论(2009)
  13. 迈耶,罗兰;Gorrieri,Roberto:(\pi)-微积分与有限位/转移Petri网的关系(2009)
  14. 迈耶,罗兰;霍门科,维克托;斯特拉兹尼,蒂姆:使用网络展开验证移动系统的实用方法(2009)
  15. 迈耶,罗兰;霍门科,维克托;斯特拉兹尼,蒂姆:使用网络展开验证移动系统的实用方法(2008)


更多出版物请访问:http://petruchio.informatik.uni-oldenburg.de/33467.html