克莱门·奥伯特 (可逆)并发计算中并发的正确性。 (英语) Zbl 07803176号 J.日志。阿尔盖布。方法计划。 136,文章ID 100924,31 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert},J.Log。阿尔盖布。方法程序。136,文章ID 100924,31 p.(2024;Zbl 07803176) 全文: 内政部 哈尔
罗兰·巴克豪斯;何塞·努诺·奥利维拉 关于双函数。 (英语) Zbl 07723899号 J.日志。阿尔盖布。方法计划。 134,文章ID 100878,24 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{J.N.Oliveira},J.Log。阿尔盖布。方法程序。134,文章ID 100878,24 p.(2023;Zbl 07723899) 全文: 内政部
莫里斯·拉维奥;Tim A.C.Willemse。 在具有多个动作的进程代数中分解单片进程。 (英语) 兹伯利07665442 J.日志。阿尔盖布。方法计划。 132,文章ID 100858,24 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Laveaux}和\textit{T.A.C.Willemse},J.Log。阿尔盖布。方法程序。132,文章ID 100858,24 p.(2023;Zbl 07665442) 全文: 内政部 arXiv公司
本杰明·利昂;法哈德·阿尔巴;卡罗琳·塔尔科特 交互网络物理系统的语义模型。 (英语) Zbl 07595226号 J.日志。阿尔盖布。方法计划。 129,文章ID 100807,25 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Lion}等人,J.Log。阿尔盖布。方法程序。129,文章ID 100807,第25页(2022;Zbl 07595226) 全文: 内政部 arXiv公司
克莱门·奥伯特;丹尼尔·瓦拉卡 针对测试的过程:定义上下文等效性。 (英语) 兹伯利07595225 J.日志。阿尔盖布。方法计划。 129,文章ID 100799,18 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{D.Varacca},J.Log。阿尔盖布。方法程序。129,文章ID 100799,18 p.(2022;Zbl 07595225) 全文: 内政部 arXiv公司 哈尔
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化无递归的常规监控器。 (英语) Zbl 07531445号 J.日志。阿尔盖布。方法计划。 127,文章ID 100778,32 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法程序。127,文章ID 100778,32 p.(2022;Zbl 07531445) 全文: 内政部 arXiv公司
罗兰·巴克豪斯;亨克·多恩博斯;罗兰·格里克;雅普·范德沃德 图的成分和非循环性。精确与简洁相结合的练习。 (英语) Zbl 1481.68034号 J.日志。阿尔盖布。方法计划。 124,文章ID 100730,47 p.(2022). 审核人:Shen Zhizhang(普利茅斯) MSC公司:68兰特 05C25号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}等人,J.Log。阿尔盖布。方法程序。124,文章ID 100730,47 p.(2022;Zbl 1481.68034) 全文: 内政部
布雷特·麦克莱恩 具有域的自由Kleene代数。 (英语) Zbl 1484.08014号 J.日志。阿尔盖布。方法计划。 117,文章ID 100606,14 p.(2020).MSC公司:08年2月20日 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{B.McLean},J.Log。阿尔盖布。方法程序。117,文章ID 100606,14 p.(2020;Zbl 1484.08014) 全文: 内政部 arXiv公司
Alpunte,M。;A.昆卡-奥尔特加。;埃斯科瓦尔,S。;梅塞盖尔,J。 序排序方程程序模公理的部分求值框架。 (英语) Zbl 1494.68048号 J.日志。阿尔盖布。方法计划。 110,文章ID 100501,第36页(2020).MSC公司:68号30 08A70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法程序。110,文章ID 100501,36 p.(2020;Zbl 1494.68048) 全文: 内政部
马塞尔·杰克逊;米库拉斯(Mikulás,Szabolcs) 天使和恶魔作品的领域和范围。 (英语) Zbl 1417.68033号 J.日志。阿尔盖布。方法计划。 103, 62-78 (2019).MSC公司:68号30 08A70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{S.MikuláS},J.Log。阿尔盖布。方法程序。103、62-78(2019年;Zbl 1417.68033) 全文: 内政部 arXiv公司 链接
尼克·菲舍尔;罗布·范格拉贝克 公理化有限状态行为的无限概率弱相似性。 (英语) Zbl 1408.68101号 J.日志。阿尔盖布。方法计划。 102, 64-102 (2019).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Fischer}和\textit{R.van Glabbeek},J.Log。阿尔盖布。方法程序。102、64-102(2019年;Zbl 1408.68101) 全文: 内政部 arXiv公司
沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 (英语) Zbl 1401.68247号 J.日志。阿尔盖布。方法计划。 101132-150(2018).MSC公司:68兰特 03B35型 03G15年 05C22号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。方法程序。101132-150(2018;Zbl 1401.68247) 全文: 内政部
路易吉·桑托卡纳莱 嵌入到关系格中是无法确定的。 (英语) Zbl 1394.68119号 J.日志。阿尔盖布。方法计划。 97, 131-148 (2018).MSC公司:第68页,共15页 03天35分 05年6月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale},J.Log。阿尔盖布。方法程序。97、131--148(2018年;Zbl 1394.68119) 全文: 内政部 哈尔
马里奥·布雷韦蒂 马尔科夫过程代数中的约简语义。 (英语) Zbl 1430.68160号 J.日志。阿尔盖布。方法计划。 96, 41-64 (2018).MSC公司:68问题85 第68季度55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti},J.Log(J·洛格)。阿尔盖布。方法程序。96、41-64(2018年;Zbl 1430.68160) 全文: 内政部 arXiv公司
Park,Junkil公园;李因苏普;奥列格·索科尔斯基;黄大渊;安,Sojin;Choi,Jin-Young先生;康英业 一种用于分层实时系统可调度性分析和工作负载抽象的进程代数方法。 (英语) 兹比尔1373.68162 J.日志。阿尔盖布。方法计划。 92, 1-18 (2017).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}等人,J.Log。阿尔盖布。方法程序。92、1-18(2017年;Zbl 1373.68162) 全文: 内政部 链接
德克斯特·科赞;康斯坦蒂诺斯·马穆拉斯;亚历山德拉·席尔瓦 标称Kleene代数中的完全性和不完全性。 (英语) Zbl 1372.68064号 J.日志。阿尔盖布。方法计划。 91, 17-32 (2017).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}等人,J.Log。阿尔盖布。方法程序。91、17-32(2017;Zbl 1372.68064) 全文: 内政部 链接
亚历山大·马德拉;内维斯、雷纳托;马丁斯(Manuel A.Martins)。 关于生成多值动态逻辑的练习。 (英语) Zbl 1355.03023号 J.日志。阿尔盖布。方法计划。 第二部分第5期第85号,1011-1037(2016).MSC公司:03B70号 03B50号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,J.Log。阿尔盖布。方法程序。85,第5号,第2部分,1011--1037(2016;Zbl 1355.03023) 全文: 内政部
塔德乌什·利塔克;米库拉斯(Mikulás,Szabolcs);希德斯,简 关系格:从数据库到泛代数。 (英语) Zbl 1372.68081号 J.日志。阿尔盖布。方法计划。 85,第4号,540-573(2016).MSC公司:第68页,共15页 03G10年 08A70号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}等人,J.日志。阿尔盖布。方法程序。85,第4号,540-573(2016;Zbl 1372.68081) 全文: 内政部 链接
O'Hearn,Peter W。;拉斯姆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 并发分离逻辑与并发Kleene代数的关系。 (英语) Zbl 1330.03072号 J.日志。阿尔盖布。方法计划。 84,第3期,285-302(2015).MSC公司:03B70号 03G25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}等人,J.Log。阿尔盖布。方法程序。84,第3号,285--302(2015;Zbl 1330.03072) 全文: 内政部
马克斯·柴科夫斯基;米尔科·特里巴斯通 马尔科夫过程代数中微分聚合的统一框架。 (英语) Zbl 1319.68151号 J.日志。阿尔盖布。方法计划。 84,第2期,238-258(2015).MSC公司:68问题85 60J10型 第68季度55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.柴可夫斯基}和\textit{M.Tribastone},J.洛格。阿尔盖布。方法程序。84,No.2,238--258(2015;Zbl 1319.68151) 全文: 内政部
谢波;傅明全;杰弗里·祖克 实数的半可计算集的特征。 (英语) Zbl 1307.68028号 J.日志。阿尔盖布。方法计划。 84,第1期,124-154(2015).MSC公司:68号30 68甲15 2005年第68季度 03D78号 08A70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Xie}等人,J.Log。阿尔盖布。方法程序。84,第1号,124--154(2015;Zbl 1307.68028) 全文: 内政部
彼得·霍夫纳;安娜贝拉·麦克维尔 跳房子–一步一步到达目标。 (英语) Zbl 1371.68210号 J.日志。阿尔盖布。方法计划。 83,第2期,212-224(2014).MSC公司:68兰特 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{A.McIver},J.Log。阿尔盖布。方法程序。83,No.2,212--224(2014;Zbl 1371.68210) 全文: 内政部