发布求助
文献互助 智能选刊 最新文献

Temporal Logic in Specification最新文献

筛选
英文 中文
Using Temporal Logic for Prototyping: The Design of a Lift Controller 用时间逻辑进行原型设计:电梯控制器的设计
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_35
R. Hale
{"title":"Using Temporal Logic for Prototyping: The Design of a Lift Controller","authors":"R. Hale","doi":"10.1007/3-540-51803-7_35","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_35","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129250343","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 35
An Expressive Logic for a Process Algebra with Silent Actions 具有静默动作的过程代数的表达逻辑
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_21
S. Graf, J. Sifakis
{"title":"An Expressive Logic for a Process Algebra with Silent Actions","authors":"S. Graf, J. Sifakis","doi":"10.1007/3-540-51803-7_21","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_21","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123529882","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
The Model Checking Problem for Concurrent Systems with Many Similar Processes 多进程并发系统的模型检验问题
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_26
E. Clarke, O. Grumberg
{"title":"The Model Checking Problem for Concurrent Systems with Many Similar Processes","authors":"E. Clarke, O. Grumberg","doi":"10.1007/3-540-51803-7_26","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_26","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124081382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Comparing Linear and Branching Time Temporal Logics 比较线性和分支时间逻辑
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_19
C. Stirling
{"title":"Comparing Linear and Branching Time Temporal Logics","authors":"C. Stirling","doi":"10.1007/3-540-51803-7_19","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_19","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"165 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133383915","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 36
Extending Interval Logic to Real Time Systems 将区间逻辑扩展到实时系统
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_29
P. Melliar-Smith
{"title":"Extending Interval Logic to Real Time Systems","authors":"P. Melliar-Smith","doi":"10.1007/3-540-51803-7_29","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_29","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122031920","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 37
On the Relation of Programs and Computations to Models of Temporal Logic 论程序与计算与时间逻辑模型的关系
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_23
P. Wolper
{"title":"On the Relation of Programs and Computations to Models of Temporal Logic","authors":"P. Wolper","doi":"10.1007/3-540-51803-7_23","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_23","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132313920","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 132
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems 陈述性过去和命令式将来:交互式系统的可执行时间逻辑
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_36
D. Gabbay
{"title":"The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems","authors":"D. Gabbay","doi":"10.1007/3-540-51803-7_36","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_36","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"172 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122192883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 331
The Prescription and Description of State Based Systems 基于状态的系统的处方和描述
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_30
S. Khosla, T. Maibaum
{"title":"The Prescription and Description of State Based Systems","authors":"S. Khosla, T. Maibaum","doi":"10.1007/3-540-51803-7_30","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_30","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131573063","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 81
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems MCTL -并发系统模块化验证CTL的扩展
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_25
B. Josko
{"title":"MCTL - An Extension of CTL for Modular Verification of Concurrent Systems","authors":"B. Josko","doi":"10.1007/3-540-51803-7_25","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_25","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131021130","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Abstract Object Types: A Temporal Perspective 抽象对象类型:一个时间视角
Temporal Logic in Specification Pub Date : 1987-04-08 DOI: 10.1007/3-540-51803-7_33
A. Sernadas, J. Fiadeiro, C. Sernadas, H. Ehrich
{"title":"Abstract Object Types: A Temporal Perspective","authors":"A. Sernadas, J. Fiadeiro, C. Sernadas, H. Ehrich","doi":"10.1007/3-540-51803-7_33","DOIUrl":"https://doi.org/10.1007/3-540-51803-7_33","url":null,"abstract":"","PeriodicalId":119564,"journal":{"name":"Temporal Logic in Specification","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123986459","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 59
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信