机译:基于带抑制弧的Petri网的π演算的分布式语义
Dipartimento di Scienze dell'Informazione, Università di Bologna, Mura Anteo Zamboni 7,I-40127 Bologna, Italy;
Dipartimento di Scienze dell'Informazione, Università di Bologna, Mura Anteo Zamboni 7,I-40127 Bologna, Italy;
petri nets; process algebra; π-calculus; non-interleaving semantics; decidable properties;
机译:RT-MOBS:基于μ微积分的实时性能规范语言的时间培训率的组成观测器语义
机译:具有抑制剂弧的Petri网的间隔语义
机译:具有读取和禁止弧的Petri网的域和事件结构语义
机译:带有抑制弧的Petri网的区间过程语义
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网的幽门螺杆菌介导胃癌胃衬中紧密连接蛋白破坏的模型
机译:基于带抑制弧的Petri网的π演算的分布式语义
机译:有限pi-Calculus的petri网语义