Petri Net Semantics of the Finite π-Calculus

机译：有限π微积分的Petri净语义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Raymond Devillers; Hanna Klaudel; Maciej Koutny;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Petri Net Semantics of the Finite π-calculus Terms [J] . Raymond Devillers, Hanna Klaudel, Maciej Koutny Fundamenta Informaticae . 2006,第3期

机译：有限π演算项的Petri网语义
2. Distributed Semantics For The π-calculus Based On Petri Nets With Inhibitor Arcs [J] . Nadia Busi, Roberto Gorrieri The Journal of logic and algebraic programming . 2009,第3期

机译：基于带抑制弧的Petri网的π演算的分布式语义
3. RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus [J] . Ning Ge, Silvano Dal Zilio, Hongyu Liu, Science of Computer Programming . 2021,第Juna1期

机译：RT-MOBS：基于μ微积分的实时性能规范语言的时间培训率的组成观测器语义
4. Petri Net Semantics of the Finite π-Calculus [C] . Raymond Devillers, Hanna Klaudel, Maciej Koutny IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems(FORTE 2004); 20040927-30; Madrid(ES) . 2004

机译：有限π演算的Petri网语义
5. High-level Petri net semantics of concurrent and non-concurrent logic programs. [D] . Jeffrey, John Michael. 1993

机译：并发和非并发逻辑程序的高级Petri网语义。
6. Modeling the Metabolism of Arabidopsis thaliana: Application of Network Decomposition and Network Reduction in the Context of Petri Nets [O] . Ina Koch, Joachim Nöthen, Enrico Schleiff 2017

机译：模拟拟南芥的代谢：网络分解和网络还原在Petri网中的应用
7. Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs [O] . Busi Nadia, Gorrieri Roberto 2009

机译：基于带抑制弧的Petri网的π演算的分布式语义
8. Petri Net Semantics of the Finite pi-Calculus [R] . Devillers, R., Klaudel, H., Koutny, M. 2004

机译：有限pi-Calculus的petri网语义

Petri Net Semantics of the Finite π-Calculus

著录项

引文网络

相似文献

相关主题

期刊订阅