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

Foundations of Software Science and Computation Structure最新文献

筛选
英文 中文
DyNetKAT: An Algebra of Dynamic Networks 动态网络的代数
Foundations of Software Science and Computation Structure Pub Date : 2021-02-19 DOI: 10.1007/978-3-030-99253-8_10
Georgiana Caltais, Hossein Hojjat, M. Mousavi, Huncar Can Tunc
{"title":"DyNetKAT: An Algebra of Dynamic Networks","authors":"Georgiana Caltais, Hossein Hojjat, M. Mousavi, Huncar Can Tunc","doi":"10.1007/978-3-030-99253-8_10","DOIUrl":"https://doi.org/10.1007/978-3-030-99253-8_10","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133372730","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
Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract) 正义性——捕捉活性性质的完备性准则(扩展摘要)
Foundations of Software Science and Computation Structure Pub Date : 2019-08-31 DOI: 10.1007/978-3-030-17127-8_29
R. V. Glabbeek
{"title":"Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract)","authors":"R. V. Glabbeek","doi":"10.1007/978-3-030-17127-8_29","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_29","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133578401","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
Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games 通用图形和游戏自动机:无限持续时间游戏的新工具
Foundations of Software Science and Computation Structure Pub Date : 2019-04-08 DOI: 10.1007/978-3-030-17127-8_1
Thomas Colcombet, Nathanaël Fijalkow
{"title":"Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games","authors":"Thomas Colcombet, Nathanaël Fijalkow","doi":"10.1007/978-3-030-17127-8_1","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_1","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114643060","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
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words 无限词线性MSO的辩证法式解释
Foundations of Software Science and Computation Structure Pub Date : 2019-04-08 DOI: 10.1007/978-3-030-17127-8_27
P. Pradic, Colin Riba
{"title":"A Dialectica-Like Interpretation of a Linear MSO on Infinite Words","authors":"P. Pradic, Colin Riba","doi":"10.1007/978-3-030-17127-8_27","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_27","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114637120","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}
引用次数: 4
Equational Theories and Monads from Polynomial Cayley Representations 多项式Cayley表示中的方程理论和单子
Foundations of Software Science and Computation Structure Pub Date : 2019-04-08 DOI: 10.1007/978-3-030-17127-8_26
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
{"title":"Equational Theories and Monads from Polynomial Cayley Representations","authors":"Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski","doi":"10.1007/978-3-030-17127-8_26","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_26","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131395916","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
Resource-Tracking Concurrent Games 资源跟踪并发游戏
Foundations of Software Science and Computation Structure Pub Date : 2019-04-08 DOI: 10.1007/978-3-030-17127-8_2
Aurore Alcolei, P. Clairambault, Olivier Laurent
{"title":"Resource-Tracking Concurrent Games","authors":"Aurore Alcolei, P. Clairambault, Olivier Laurent","doi":"10.1007/978-3-030-17127-8_2","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_2","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123982461","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
Kleene Algebra with Hypotheses Kleene代数与假设
Foundations of Software Science and Computation Structure Pub Date : 2019-04-08 DOI: 10.1007/978-3-030-17127-8_12
Amina Doumane, Denis Kuperberg, D. Pous, P. Pradic
{"title":"Kleene Algebra with Hypotheses","authors":"Amina Doumane, Denis Kuperberg, D. Pous, P. Pradic","doi":"10.1007/978-3-030-17127-8_12","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_12","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122024351","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
Towards a Structural Proof Theory of Probabilistic mu -Calculi 论概率微积分的结构证明理论
Foundations of Software Science and Computation Structure Pub Date : 2019-04-08 DOI: 10.1007/978-3-030-17127-8_24
Christophe Lucas, M. Mio
{"title":"Towards a Structural Proof Theory of Probabilistic mu -Calculi","authors":"Christophe Lucas, M. Mio","doi":"10.1007/978-3-030-17127-8_24","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_24","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126305981","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
A Complete Normal-Form Bisimilarity for State 状态的完全范式双相似性
Foundations of Software Science and Computation Structure Pub Date : 2019-04-08 DOI: 10.1007/978-3-030-17127-8_6
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
{"title":"A Complete Normal-Form Bisimilarity for State","authors":"Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk","doi":"10.1007/978-3-030-17127-8_6","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_6","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128735191","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}
引用次数: 12
A Sound and Complete Logic for Algebraic Effects 代数效应的健全完备逻辑
Foundations of Software Science and Computation Structure Pub Date : 2019-04-08 DOI: 10.1007/978-3-030-17127-8_22
C. Matache, S. Staton
{"title":"A Sound and Complete Logic for Algebraic Effects","authors":"C. Matache, S. Staton","doi":"10.1007/978-3-030-17127-8_22","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_22","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116313854","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}
引用次数: 13
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信