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

International Colloquium on Theoretical Aspects of Computing最新文献

筛选
英文 中文
Weighted Register Automata and Weighted Logic on Data Words 数据词的加权寄存器自动机与加权逻辑
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_21
P. Babari, M. Droste, V. Perevoshchikov
{"title":"Weighted Register Automata and Weighted Logic on Data Words","authors":"P. Babari, M. Droste, V. Perevoshchikov","doi":"10.1007/978-3-319-46750-4_21","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_21","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125718319","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}
引用次数: 0
Parametric Deadlock-Freeness Checking Timed Automata 参数死锁自由检查定时自动机
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_27
É. André
{"title":"Parametric Deadlock-Freeness Checking Timed Automata","authors":"É. André","doi":"10.1007/978-3-319-46750-4_27","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_27","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127400487","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}
引用次数: 14
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms 一些随机分布算法在Coq中的证明不可能结果及分析
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_5
Allyx Fontaine, A. Zemmari
{"title":"Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms","authors":"Allyx Fontaine, A. Zemmari","doi":"10.1007/978-3-319-46750-4_5","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_5","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127419303","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
Towards MC/DC Coverage of Properties Specification Patterns 面向MC/DC属性规范模式的覆盖
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_10
A. Melo, C. Pasareanu, Simone Hanazumi
{"title":"Towards MC/DC Coverage of Properties Specification Patterns","authors":"A. Melo, C. Pasareanu, Simone Hanazumi","doi":"10.1007/978-3-319-46750-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_10","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"196 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115316883","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
Temporal Logic Verification for Delay Differential Equations 时滞微分方程的时间逻辑验证
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_23
P. N. Mosaad, M. Fränzle, Bai Xue
{"title":"Temporal Logic Verification for Delay Differential Equations","authors":"P. N. Mosaad, M. Fränzle, Bai Xue","doi":"10.1007/978-3-319-46750-4_23","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_23","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"33 5-6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120918975","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
Propositional Dynamic Logic for Petri Nets with Iteration 迭代Petri网的命题动态逻辑
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_25
M. Benevides, Bruno Lopes, E. Haeusler
{"title":"Propositional Dynamic Logic for Petri Nets with Iteration","authors":"M. Benevides, Bruno Lopes, E. Haeusler","doi":"10.1007/978-3-319-46750-4_25","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_25","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122361947","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
On the Expressiveness of Symmetric Communication 论对称交际的表达性
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_9
Thomas Given-Wilson, Axel Legay
{"title":"On the Expressiveness of Symmetric Communication","authors":"Thomas Given-Wilson, Axel Legay","doi":"10.1007/978-3-319-46750-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_9","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127955630","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
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs 静态计算多线程事务性程序使用的最大日志内存
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_6
Anh-Hoang Truong, Ngoc-Khai Nguyen, D. Hung, Duc-Hanh Dang
{"title":"Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs","authors":"Anh-Hoang Truong, Ngoc-Khai Nguyen, D. Hung, Duc-Hanh Dang","doi":"10.1007/978-3-319-46750-4_6","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_6","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130626623","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
Schedulers and Finishers: On Generating the Behaviours of an Event Structure 调度器和完成器:关于生成事件结构的行为
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_8
Annabelle McIver, T. Rabehaja, G. Struth
{"title":"Schedulers and Finishers: On Generating the Behaviours of an Event Structure","authors":"Annabelle McIver, T. Rabehaja, G. Struth","doi":"10.1007/978-3-319-46750-4_8","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_8","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124479924","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
Petri Nets and Semilinear Sets (Extended Abstract) Petri网与半线性集(扩展摘要)
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_2
H. Yen
{"title":"Petri Nets and Semilinear Sets (Extended Abstract)","authors":"H. Yen","doi":"10.1007/978-3-319-46750-4_2","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_2","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121375058","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
首页 上一页 下一页 尾页
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学术官方微信