首页> 外文OA文献 >Simulation and Bisimulation over One-Counter Processes

【2h】

Simulation and Bisimulation over One-Counter Processes

机译：单一计数过程的模拟和双模拟

页面导航

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

著录项

作者
Petr Jančar; Antonín Kučera; Faron Moller;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Bisimulation equivalence and regularity for real-time one-counter automata [J] . Stanislav Boehm, Stefan Goeller, Petr Jancar Journal of computer and system sciences . 2014,第4期

机译：实时一计数器自动机的双仿真等价性和规律性
2. Approximating Bisimulation in One-Counter Nets [J] . V. A. Bashkin Automatic Control and Computer Sciences . 2012,第7期

机译：一站式网络中的近似双仿真
3. Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence [J] . Petr Jancear Journal of computer and system sciences . 2020,第May期

机译：决定下降过程的语义有限性和一阶语法W.R.T.双刺激等价
4. Simulation and bisimulation over One-Counter Processes [C] . Petr Jancar, Antonin Kucera, Faron Moller 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 . 2000

机译：一站式过程的仿真和双仿真
5. Supervisory control of discrete event systems for bisimulation or simulation equivalence. [D] . Zhou, Changyan. 2007

机译：用于双仿真或仿真等效的离散事件系统的监督控制。
6. Research Progress in Computational Fluid Dynamics Simulations of Membrane Distillation Processes: A Review [O] . Long Chen, Binxin Wu 2021

机译：膜蒸馏过程计算流体动力学模拟研究进展 - 综述
7. Simulation and bisimulation over one-counter processes [O] . Jančar Petr, Kučera Antonín, Moller Faron 2000

机译：一计数器过程的仿真和双仿真
8. Weak Bisimulation for Fully Probabilistic Processes [R] . Baier, C., Hermanns, H. 1999

机译：完全概率过程的弱互模拟

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号