首页> 外文OA文献 >Deciding orthogonal bisimulation

【2h】

Deciding orthogonal bisimulation

机译：确定正交双仿真

代理获取

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

页面导航

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

著录项

作者
Thuy Duong Vu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 正交各向异性纸张内聚区模型关键参数的确定及其静态断裂仿真 [J] . 王越, 王永健, 李令全南京航空航天大学学报（英文版） . 2021,第001期
2. Deciding orthogonal bisimulation [J] . Thuy Duong Vu Formal Aspects of Computing . 2007,第4期

机译：确定正交双仿真
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. Deciding probabilistic automata weak bisimulation: theory and practice [J] . Fioriti Luis Maria Ferrer, Hashemi Vahid, Hermanns Holger, Formal Aspects of Computing . 2016,第1期

机译：确定概率自动机弱双仿真的理论和实践
5. Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes [C] . Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota CONCUR 2011 - Concurrency theory . 2011

机译：赋范可交换上下文无关过程的分支双仿真的可判定性
6. ?Cómo se decide sobre el territorio? Gobernanza de conflictos mineros. Los casos de Andalgalá, en Catamarca, y Famatina, en La Rioja. (2005-2016) =Who Decides over the Territory? Governance of Mining Conflicts: The Cases of Andalgalá in Catamarca and Fama [D] . M?hle, Elisabeth. 2019

机译：它如何决定在该领土上？采矿冲突治理。 Andalgalá，Catamarca和Famatina，在La Rioja的病例。（2005-2016）=谁决定领土？采矿冲突治理：西门田和名人的Andalgalá病例
7. Correction: Deciding Not to Decide: Computational and Neural Evidence for Hidden Behavior in Sequential Choice [O] . Sebastian Gluth, Jörg Rieskamp, Christian Büchel 2017

机译：校正：决定不决定：顺序选择中隐藏行为的计算和神经证据
8. Deciding orthogonal bisimulation [O] . Thuy ThuyDuong Vu 2007

机译：决定正交互模拟

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号