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

REX Workshop最新文献

筛选
英文 中文
The State Operator in Real Time Process Algebra 实时过程代数中的状态算子
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031989
J. Baeten, J. Bergstra
{"title":"The State Operator in Real Time Process Algebra","authors":"J. Baeten, J. Bergstra","doi":"10.1007/BFb0031989","DOIUrl":"https://doi.org/10.1007/BFb0031989","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134641830","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
Coping with Implementation Dependencies in Real-Time System Verification 处理实时系统验证中的实现依赖
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032004
A. Mok
{"title":"Coping with Implementation Dependencies in Real-Time System Verification","authors":"A. Mok","doi":"10.1007/BFb0032004","DOIUrl":"https://doi.org/10.1007/BFb0032004","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132494915","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}
引用次数: 10
Predicative Specification of Timed Processes 时间过程的谓词规范
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032009
M. Schenke
{"title":"Predicative Specification of Timed Processes","authors":"M. Schenke","doi":"10.1007/BFb0032009","DOIUrl":"https://doi.org/10.1007/BFb0032009","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131038753","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}
引用次数: 2
The Theory of Timed Automata 时间自动机理论
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031987
R. Alur, D. Dill
{"title":"The Theory of Timed Automata","authors":"R. Alur, D. Dill","doi":"10.1007/BFb0031987","DOIUrl":"https://doi.org/10.1007/BFb0031987","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"312 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125159658","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}
引用次数: 194
Compositional Verification of Real-Time Systems using Extended Hoare Triples 使用扩展Hoare三元组的实时系统组成验证
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031996
J. Hooman
{"title":"Compositional Verification of Real-Time Systems using Extended Hoare Triples","authors":"J. Hooman","doi":"10.1007/BFb0031996","DOIUrl":"https://doi.org/10.1007/BFb0031996","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130644150","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}
引用次数: 17
A Specification of the Cat and Mouse Problem 猫捉老鼠问题的说明
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032012
W. Wood
{"title":"A Specification of the Cat and Mouse Problem","authors":"W. Wood","doi":"10.1007/BFb0032012","DOIUrl":"https://doi.org/10.1007/BFb0032012","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126839227","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
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE 在电路上实现无功程序:LUSTRE的硬件实现
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031993
Frédéric Rocheteau, N. Halbwachs
{"title":"Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE","authors":"Frédéric Rocheteau, N. Halbwachs","doi":"10.1007/BFb0031993","DOIUrl":"https://doi.org/10.1007/BFb0031993","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132174073","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}
引用次数: 33
Layering and Action Refinement for Timed Systems 时间系统的分层和动作优化
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0032013
J. Zwiers
{"title":"Layering and Action Refinement for Timed Systems","authors":"J. Zwiers","doi":"10.1007/BFb0032013","DOIUrl":"https://doi.org/10.1007/BFb0032013","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"357 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132873591","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}
引用次数: 15
Semantics and Completeness of Duration Calculus 历时演算的语义与完备性
REX Workshop Pub Date : 1991-06-03 DOI: 10.1007/BFb0031994
M. R. Hansen, Chaochen Zhou
{"title":"Semantics and Completeness of Duration Calculus","authors":"M. R. Hansen, Chaochen Zhou","doi":"10.1007/BFb0031994","DOIUrl":"https://doi.org/10.1007/BFb0031994","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"689 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122962286","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}
引用次数: 92
An Actor-Based Metalevel Architecture for Group-Wide Reflection 面向组范围反射的基于参与者的元级体系结构
REX Workshop Pub Date : 1990-05-28 DOI: 10.1007/BFb0019450
Takuo Watanabe, A. Yonezawa
{"title":"An Actor-Based Metalevel Architecture for Group-Wide Reflection","authors":"Takuo Watanabe, A. Yonezawa","doi":"10.1007/BFb0019450","DOIUrl":"https://doi.org/10.1007/BFb0019450","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122615988","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}
引用次数: 53
首页 上一页 下一页 尾页
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学术官方微信