首页> 外文会议>Concurrency theory >Sometimes and not never re-revisited: on branching versus linear time

【24h】

Sometimes and not never re-revisited: on branching versus linear time

机译：有时并且永远不会重新访问：关于分支时间与线性时间

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

The difference in the ocmplexity f branching and linear model checking has been viewed as an argument in favor of the branching paradigm.In particular,the computatinal advantage of CTL model checking over LTL model checking makes CTL a popular choice,leading to effiient model-checking tools for this logic.Can we use these tools in order to verify linear properties? In this survey paper we describe two approaches that relate branching and linear model checking.

机译：复杂度f分支和线性模型检查的差异被视为支持分支范式的一个论点。特别是，CTL模型检查比LTL模型检查具有的计算优势使CTL成为流行的选择，从而导致有效的模型检查此逻辑的工具。我们可以使用这些工具来验证线性特性吗？在本调查文件中，我们描述了两种与分支和线性模型检查有关的方法。

著录项

来源
《Concurrency theory》|1998年|p.1-17|共17页
会议地点 Nice(FR);Nice(FR)
作者
Moshe Y.Vardi;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Multifractality Versus (Mono-) Fractality as Evidence of Nonlinear Interactions Across Timescales: Disentangling the Belief in Nonlinearity From the Diagnosis of Nonlinearity in Empirical Data [J] . Kelty-Stephen Damian G., Wallot Sebastian Theoretical and Experimental Plant Physiology . 2017,第4期

机译：多重性与（单级）的性别分类为时间尺度的非线性相互作用的证据：解开非线性的信仰，从实证数据中的非线性诊断
2. Optical limiting properties and time-resolved photoluminescence study on a series compounds based on 1,3,5-triazine: From linear to tri-branched and six-branched structural configurations [J] . Wang Yaochuan, Li Tianlun, Yin Yan, Optik: Zeitschrift fur Licht- und Elektronenoptik: = Journal for Light-and Electronoptic . 2017,第期

机译：基于1,3,5-三嗪的串联化合物的光学限制性质和时间分辨的光致发光研究：从线性到三分支和六分支结构配置
3. Modeling and Stability Assessment of Single-Phase Grid Synchronization Techniques: Linear Time-Periodic Versus Linear Time-Invariant Frameworks [J] . Saeed Golestan, Josep M. Guerrero, Juan C. Vasquez IEEE Transactions on Power Electronics . 2019,第1期

机译：单相电网同步技术的建模和稳定性评估：线性时间周期与线性时间不变框架
4. Sometimes and not never re-revisited: on branching versus linear time [C] . Moshe Y.Vardi International conference on concurrency theory . 1998

机译：有时而且没有重新重新预订：在分支与线性时间
5. The effect of closed interactive multimedia learning environments on student memory retention: A linear versus non-linear approach. [D] . Johnson, Troy A. 2009

机译：封闭式交互式多媒体学习环境对学生记忆保留的影响：线性与非线性方法。
6. Ether- versus Ester-Linked Phospholipid Bilayers Containing either Linear or Branched Apolar Chains [O] . Daniel Balleza, Aritz B. Garcia-Arribas, Jesús Sot, 2014

机译：含有线性或分支非极性链的醚键与酯键连接的磷脂双层
7. Sometimes and Not Never Re-revisited: On Branching Versus Linear Time [O] . Moshe Y. Vardi 1998

机译：有时且永不重新访问：关于分支与线性时间
8. Linear Time Branching Time Spectrum [R] . Vanglabbeek, R. J. 1990

机译：线性时间分支时间谱

Sometimes and not never re-revisited: on branching versus linear time

摘要

著录项

相似文献

相关主题

期刊订阅