Some decidability results for duration calculus under synchronous interpretation

机译：同步解释下持续时间演算的一些可判定性结果

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Duration Calculus (or DC in short) presents a formal notation to specify properties, DC has been shown to be undecidable.

机译：持续时间演算（或DC的简称）表示形式来指定属性，DC已被证明是不确定的。

著录项

来源
《Formal techniques in real-time and fault-tolerant systems》|1998年|p.186-197|共12页
会议地点 Lyngby(DK);Lyngby(DK)
作者
M.Stpathy; Dang Van Hung; P.K.Pandya;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Axiomatisation and decidability of multi-dimensional Duration Calculus [J] . Schafer A Information and computation . 2007,第1期

机译：多维持续时间演算的公理化和可判定性
2. On the completeness and decidability of duration calculus with iteration [J] . Guelev DP, Hung DV Theoretical computer science . 2005,第1a3期

机译：具有迭代的持续时间演算的完备性
3. On the existence and decidability of unique decompositions of processes in the applied pi-calculus [J] . Dreier Jannik, Ene Cristian, Lafourcade Pascal, Theoretical computer science . 2016,第Null期

机译：关于应用微积分过程唯一分解的存在性和可判定性
4. Some decidability results for duration calculus under synchronous interpretation [C] . M.Stpathy, Dang Van Hung, P.K.Pandya International symposium on formal techniques in real-time and fault-tolerant systems . 1998

机译：同步解释下持续时间微积分的一些可辨辨别性结果
5. The situation calculus: Decidability and an approach based on the logic for non-monotone inductive definitions. [D] . Ternovska, Evgenia Aleksandrovna. 2002

机译：情境演算：可判定性和基于非单调归纳定义逻辑的方法。
6. More large trials needed to decide best duration of treatment with tamoxifen [O] . D A Cameron 1998

机译：需要更多大型试验来确定他莫昔芬的最佳治疗时间
7. Decidability of a Hybrid Duration Calculus [O] . Bolander Thomas, Hansen Jens Ulrik, Hansen Michael R. 2007

机译：混合工期微积分的可判定性

Some decidability results for duration calculus under synchronous interpretation

摘要

著录项

相似文献

相关主题

期刊订阅