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

REX Workshop最新文献

筛选
英文 中文
Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs 对分布式程序组成验证的假设-承诺框架的几点评论
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_81
P. Pandya
{"title":"Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs","authors":"P. Pandya","doi":"10.1007/3-540-52559-9_81","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_81","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115409036","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}
引用次数: 24
Modular Verification of Petri Nets: The Temporal Logic Approach Petri网的模块化验证:时间逻辑方法
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_65
W. Damm, Gert Döhmen, Volker Gerstner, B. Josko
{"title":"Modular Verification of Petri Nets: The Temporal Logic Approach","authors":"W. Damm, Gert Döhmen, Volker Gerstner, B. Josko","doi":"10.1007/3-540-52559-9_65","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_65","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131237282","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}
引用次数: 32
Multivalued Possibilities Mappings 多值可能性映射
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_77
N. Lynch
{"title":"Multivalued Possibilities Mappings","authors":"N. Lynch","doi":"10.1007/3-540-52559-9_77","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_77","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117254536","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}
引用次数: 18
Algebraic Implementation of Objects over Objects 对象对对象的代数实现
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_67
H. Ehrich, A. Sernadas
{"title":"Algebraic Implementation of Objects over Objects","authors":"H. Ehrich, A. Sernadas","doi":"10.1007/3-540-52559-9_67","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_67","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131797802","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}
引用次数: 51
On Decomposing and Refining Specifications of Distributed Systems 分布式系统规范的分解与细化
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_71
B. Jonsson
{"title":"On Decomposing and Refining Specifications of Distributed Systems","authors":"B. Jonsson","doi":"10.1007/3-540-52559-9_71","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_71","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129163302","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
Verifying the Correctness of AADL Modules Using Model Checking 使用模型检查验证AADL模块的正确性
REX Workshop Pub Date : 1989-05-29 DOI: 10.1007/3-540-52559-9_72
B. Josko
{"title":"Verifying the Correctness of AADL Modules Using Model Checking","authors":"B. Josko","doi":"10.1007/3-540-52559-9_72","DOIUrl":"https://doi.org/10.1007/3-540-52559-9_72","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123373002","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}
引用次数: 49
Nets of processes and data flow 流程和数据流的网络
REX Workshop Pub Date : 1988-05-30 DOI: 10.1007/BFb0013036
A. Rabinovich, B. Trakhtenbrot
{"title":"Nets of processes and data flow","authors":"A. Rabinovich, B. Trakhtenbrot","doi":"10.1007/BFb0013036","DOIUrl":"https://doi.org/10.1007/BFb0013036","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132203354","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}
引用次数: 27
Time, logic and computation 时间，逻辑和计算
REX Workshop Pub Date : 1988-05-30 DOI: 10.1007/BFb0013020
J. Benthem
{"title":"Time, logic and computation","authors":"J. Benthem","doi":"10.1007/BFb0013020","DOIUrl":"https://doi.org/10.1007/BFb0013020","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132703513","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}
引用次数: 52
Process theory based on bisimulation semantics 基于双仿真语义的过程理论
REX Workshop Pub Date : 1988-05-30 DOI: 10.1007/BFb0013021
J. Bergstra, J. Klop
{"title":"Process theory based on bisimulation semantics","authors":"J. Bergstra, J. Klop","doi":"10.1007/BFb0013021","DOIUrl":"https://doi.org/10.1007/BFb0013021","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"26 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120854382","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}
引用次数: 97
Partial orderings descriptions and observations of nondeterministic concurrent processes 不确定性并发进程的偏序描述和观察
REX Workshop Pub Date : 1988-05-30 DOI: 10.1007/BFb0013030
P. Degano, R. Nicola, U. Montanari
{"title":"Partial orderings descriptions and observations of nondeterministic concurrent processes","authors":"P. Degano, R. Nicola, U. Montanari","doi":"10.1007/BFb0013030","DOIUrl":"https://doi.org/10.1007/BFb0013030","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130864381","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}
引用次数: 90
首页 上一页 下一页 尾页
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学术官方微信