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

REX Workshop最新文献

筛选
英文 中文
Trace Nets 跟踪网
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_27
Eric Badouel, Philippe Darondeau
{"title":"Trace Nets","authors":"Eric Badouel, Philippe Darondeau","doi":"10.1007/3-540-56596-5_27","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_27","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122668220","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
On the Action Semantics of Concurrent Programming Languages 并发编程语言的动作语义研究
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_42
P. Mosses
{"title":"On the Action Semantics of Concurrent Programming Languages","authors":"P. Mosses","doi":"10.1007/3-540-56596-5_42","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_42","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125841309","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}
引用次数: 8
A Hyperdoctrinal View of Concurrent Constraint Programming 并发约束编程的超理论观点
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_44
P. Panangaden, V. Saraswat, P. Scott, R. Seely
{"title":"A Hyperdoctrinal View of Concurrent Constraint Programming","authors":"P. Panangaden, V. Saraswat, P. Scott, R. Seely","doi":"10.1007/3-540-56596-5_44","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_44","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133742523","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
Proving Total Correctness of Programs in Weak Second-Order Logic 证明弱二阶逻辑中程序的完全正确性
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_28
R. Berghammer, B. Elbl, Ulf R. Schmerl
{"title":"Proving Total Correctness of Programs in Weak Second-Order Logic","authors":"R. Berghammer, B. Elbl, Ulf R. Schmerl","doi":"10.1007/3-540-56596-5_28","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_28","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132024020","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}
引用次数: 1
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders 最终语义的基础:非标准集合、度量空间、偏序
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_45
J. Rutten, D. Turi
{"title":"On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders","authors":"J. Rutten, D. Turi","doi":"10.1007/3-540-56596-5_45","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_45","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126599505","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}
引用次数: 127
Temporal Preconditions of Recursive Procedures 递归过程的时间前提条件
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_36
W. Hesselink, R. Reinds
{"title":"Temporal Preconditions of Recursive Procedures","authors":"W. Hesselink, R. Reinds","doi":"10.1007/3-540-56596-5_36","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_36","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123863631","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
Compact Metric Information Systems (Extended Abstract) 紧凑度量信息系统(扩展摘要)
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_33
A. Edalat, M. Smyth
{"title":"Compact Metric Information Systems (Extended Abstract)","authors":"A. Edalat, M. Smyth","doi":"10.1007/3-540-56596-5_33","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_33","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122353179","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
Some Issues in the Semantics of Facile Distributed Programming 简单分布式编程语义中的几个问题
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_47
Bent Thomsen, L. L. Thomsen, A. Giacalone
{"title":"Some Issues in the Semantics of Facile Distributed Programming","authors":"Bent Thomsen, L. L. Thomsen, A. Giacalone","doi":"10.1007/3-540-56596-5_47","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_47","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133874228","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}
引用次数: 26
Infinite Behaviour and Fairness in Concurrent Constraint Programming 并发约束规划中的无限行为与公平性
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_40
M. Kwiatkowska
{"title":"Infinite Behaviour and Fairness in Concurrent Constraint Programming","authors":"M. Kwiatkowska","doi":"10.1007/3-540-56596-5_40","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_40","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133180213","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}
引用次数: 11
Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms 逆极限上的无限方程组与无限同步并发算法
REX Workshop Pub Date : 1992-06-01 DOI: 10.1007/3-540-56596-5_46
V. Stoltenberg-Hansen, John V. Tucker
{"title":"Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms","authors":"V. Stoltenberg-Hansen, John V. Tucker","doi":"10.1007/3-540-56596-5_46","DOIUrl":"https://doi.org/10.1007/3-540-56596-5_46","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114875488","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}
引用次数: 16
下一页 尾页
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学术官方微信