×

CACTUS公司

swMATH ID: 2907
软件作者: 马诺利斯Gergatsoulis
描述: 分支时间逻辑编程语言CACTUS的扩展。Cactus是一种基于时间分支概念的时态逻辑编程语言。Cactus支持两个主要操作符:第一个是时间操作符,表示时间中的第一个时刻;第二个是时间运算符,表示当前时刻的第i个子级。实际上,通过next i,我们表示一个族{next iŞi∈ℕ} 对于下一个操作符,每个操作符都表示当前时刻之后的不同下一时刻。本文用新的时态算子对Cactus进行了推广。更具体地说,我们研究了next运算符的两个变体的使用,即分别表示“一些下一时刻”和“所有下一时刻“的运算符O F和O G。我们还研究了众所周知的时态算子分支变体的使用(始终)和(有时)。
主页: http://www.springerlink.com/content/m66204q328p11182/fulltext.pdf
关键词: 仙人掌
相关软件: 数据日志;DeCART公司;FCVODE公司;PVS公司;METATEM公司;露西德;冥王星;闪存;仙人掌;气体保护装置;GRChombo公司;ENZO公司;地图;地毯;爱因斯坦工具包;琼博;闪存;CWENO公司;涅槃;帕拉梅什
引用于: 15文件

按年份列出的引文