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

J. Log. Algebraic Methods Program.最新文献

筛选
英文 中文
A Hybrid Automata model of social networking addiction 社交网络成瘾的混合自动机模型
J. Log. Algebraic Methods Program. Pub Date : 2018-11-01 DOI: 10.1016/j.jlamp.2018.07.002
Lucia Nasti, P. Milazzo
{"title":"A Hybrid Automata model of social networking addiction","authors":"Lucia Nasti, P. Milazzo","doi":"10.1016/j.jlamp.2018.07.002","DOIUrl":"https://doi.org/10.1016/j.jlamp.2018.07.002","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"118676372","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
Event Structure Semantics of (controlled) Reversible CCS 可控可逆CCS的事件结构语义
J. Log. Algebraic Methods Program. Pub Date : 2018-09-12 DOI: 10.1007/978-3-319-99498-7_7
Eva Graversen, I. Phillips, N. Yoshida
{"title":"Event Structure Semantics of (controlled) Reversible CCS","authors":"Eva Graversen, I. Phillips, N. Yoshida","doi":"10.1007/978-3-319-99498-7_7","DOIUrl":"https://doi.org/10.1007/978-3-319-99498-7_7","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123999742","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
Operational Semantics of a Weak Memory Model with Channel Synchronization 带通道同步的弱内存模型的操作语义
J. Log. Algebraic Methods Program. Pub Date : 2018-07-15 DOI: 10.1007/978-3-319-95582-7_15
D. Fava, M. Steffen, V. Stolz
{"title":"Operational Semantics of a Weak Memory Model with Channel Synchronization","authors":"D. Fava, M. Steffen, V. Stolz","doi":"10.1007/978-3-319-95582-7_15","DOIUrl":"https://doi.org/10.1007/978-3-319-95582-7_15","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115081135","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}
引用次数: 9
Finding models through graph saturation 通过图饱和寻找模型
J. Log. Algebraic Methods Program. Pub Date : 2018-06-25 DOI: 10.1016/J.JLAMP.2018.06.005
Sebastiaan J. C. Joosten
{"title":"Finding models through graph saturation","authors":"Sebastiaan J. C. Joosten","doi":"10.1016/J.JLAMP.2018.06.005","DOIUrl":"https://doi.org/10.1016/J.JLAMP.2018.06.005","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120486326","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
Checking Deadlock-Freedom of Parametric Component-Based Systems 参数化组件系统的死锁自由度检测
J. Log. Algebraic Methods Program. Pub Date : 2018-05-25 DOI: 10.1007/978-3-030-17465-1_1
M. Bozga, Radu Iosif, J. Sifakis
{"title":"Checking Deadlock-Freedom of Parametric Component-Based Systems","authors":"M. Bozga, Radu Iosif, J. Sifakis","doi":"10.1007/978-3-030-17465-1_1","DOIUrl":"https://doi.org/10.1007/978-3-030-17465-1_1","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131412509","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
The Power of Tarski's Relation Algebra on Trees 塔斯基关系代数在树上的作用
J. Log. Algebraic Methods Program. Pub Date : 2018-05-14 DOI: 10.1007/978-3-319-90050-6_14
Jelle Hellings, Yuqing Wu, M. Gyssens, D. V. Gucht
{"title":"The Power of Tarski's Relation Algebra on Trees","authors":"Jelle Hellings, Yuqing Wu, M. Gyssens, D. V. Gucht","doi":"10.1007/978-3-319-90050-6_14","DOIUrl":"https://doi.org/10.1007/978-3-319-90050-6_14","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121147562","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}
引用次数: 6
Soft Constraint Automata with Memory 带有记忆的软约束自动机
J. Log. Algebraic Methods Program. Pub Date : 2018-04-07 DOI: 10.1007/978-3-319-90089-6_6
Kasper Dokter, F. Gadducci, Francesco Santini
{"title":"Soft Constraint Automata with Memory","authors":"Kasper Dokter, F. Gadducci, Francesco Santini","doi":"10.1007/978-3-319-90089-6_6","DOIUrl":"https://doi.org/10.1007/978-3-319-90089-6_6","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132768021","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
A Dynamic Logic for Learning Theory 学习理论的动态逻辑
J. Log. Algebraic Methods Program. Pub Date : 2017-09-23 DOI: 10.1007/978-3-319-73579-5_3
A. Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, S. Smets
{"title":"A Dynamic Logic for Learning Theory","authors":"A. Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, S. Smets","doi":"10.1007/978-3-319-73579-5_3","DOIUrl":"https://doi.org/10.1007/978-3-319-73579-5_3","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131110224","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
Certifying Data in Multiparty Session Types 验证多方会话类型中的数据
J. Log. Algebraic Methods Program. Pub Date : 2017-08-01 DOI: 10.1007/978-3-319-30936-1_23
B. Toninho, N. Yoshida
{"title":"Certifying Data in Multiparty Session Types","authors":"B. Toninho, N. Yoshida","doi":"10.1007/978-3-319-30936-1_23","DOIUrl":"https://doi.org/10.1007/978-3-319-30936-1_23","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125030250","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}
引用次数: 21
Embeddability into Relational Lattices Is Undecidable 嵌入到关系格是不可确定的
J. Log. Algebraic Methods Program. Pub Date : 2017-05-15 DOI: 10.1007/978-3-319-57418-9_16
L. Santocanale
{"title":"Embeddability into Relational Lattices Is Undecidable","authors":"L. Santocanale","doi":"10.1007/978-3-319-57418-9_16","DOIUrl":"https://doi.org/10.1007/978-3-319-57418-9_16","url":null,"abstract":"","PeriodicalId":275844,"journal":{"name":"J. Log. Algebraic Methods Program.","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130019150","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
首页 上一页 下一页 尾页
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学术官方微信
小红书