阿纳尔多·塞斯科;罗伯托·戈里埃里 有限有界Petri网两个真正并发等价的判定性。 （英语） Zbl 07789009号 日志。方法计算。科学。 19，第4号，第37号论文，37页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cesco}和\textit{R.Gorrieri}，Log。方法计算。科学。19，第4号，第37号论文，37页（2023；Zbl 07789009） 全文： 内政部 arXiv公司
保罗·巴尔丹;丹尼尔·戈拉;托马索·帕多安;伊万诺·萨尔沃 配置结构的行为逻辑。 （英语） Zbl 1483.68222号 西奥。计算。科学。 913, 94-112 (2022).MSC公司：68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，Theor。计算。科学。913，94-112（2022；Zbl 1483.68222） 全文： 内政部
罗伯托·戈里埃里 BPP网络的团队互模拟和H团队互模拟研究。 （英语） Zbl 07437214号 西奥。计算。科学。 897, 83-113 (2022).MSC公司：68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \文本｛R.Gorrieri｝，Theor。计算。科学。897，83-113（2022；Zbl 07437214） 全文： 内政部
马西莫·巴托莱蒂;盖列塔，莱特里奥;莫里齐奥·穆尔吉亚 区块链中的事务并行理论。 （英语） Zbl 07471670号 日志。方法计算。科学。 17，第4号，第10号论文，44页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，日志。方法计算。科学。17，第4号，第10号论文，第44页（2021；Zbl 07471670） 全文： arXiv公司 链接
罗伯托·戈里埃里 BPP网络的团队相似性及其相关的模式逻辑。 （英语） Zbl 1497.68339号 学报信息。 58，第5号，529-569（2021）.MSC公司：68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，《信息学报》58，第5期，529--569（2021年；Zbl 1497.68339） 全文： 内政部
伊贡博格尔;克劳斯·迪特·施韦 递归算法的行为理论。 （英语） Zbl 1497.68552号 芬丹。通知。 177，编号1，1-37（2020）.MSC公司：68周01 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{K.-D.Schewe}，Fundam。通知。177，编号1，1-37（2020；Zbl 1497.68552） 全文： 内政部 arXiv公司
塔贾纳·卡普斯 用\（\mathrm{TLA}^+\）指定可逆性。 （英语） Zbl 1462.68125号 J.日志。阿尔盖布。方法计划。 116，文章ID 100582，34页（2020）.MSC公司：68问题85 03B44号 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.卡普斯}，J.洛格。阿尔盖布。方法程序。116，文章ID 100582，34 p.（2020；Zbl 1462.68125） 全文： 内政部
罗伯托·戈里埃里 有限状态机的验证：分布式方法。 （英语） Zbl 1430.68152号 J.日志。阿尔盖布。方法计划。 96, 65-80 (2018).MSC公司：60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，J.Log（J·洛格）。阿尔盖布。方法程序。96、65-80（2018年；Zbl 1430.68152） 全文： 内政部
保罗·巴尔丹;托马索·帕多安 本地模型在逻辑中检查真正的并发性。 （英语） Zbl 1486.68102号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 407-423 (2017).MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛P.Baldan｝和\textit｛T.Padoan｝，Lect。注释计算。科学。10203、407--423（2017；Zbl 1486.68102） 全文： 内政部
杨晓晓;张瑜;傅明;冯新余 基于投影时态逻辑的原子块时态编程模型。 （英语） Zbl 1403.68042号 前面。计算。科学。 8，第6号，958-976（2014）.MSC公司：68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人，前面。计算。科学。8、第6号958--976（2014；Zbl 1403.68042） 全文： 内政部
保罗·巴尔丹;西尔维亚·克拉法 真正并发的逻辑。 （英语） Zbl 1321.68355号 美国临床医学杂志 61，第4号，第24条，第36页（2014年）.MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{S.Crafa}，J.ACM 61，第4号，第24条，第36页（2014；Zbl 1321.68355） 全文： 内政部 arXiv公司
何塞·梅塞盖尔 重写逻辑二十年。 （英语） Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81，编号7-8，721-781（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7--8，721--781（2012；Zbl 1267.03043） 全文： 内政部
Ekkart Kindler公司;托拜厄斯Vesper ESTL：事件和状态的时序逻辑。 （英语） Zbl 1510.68042号 Desel，Jörg（编辑）等人，《Petri网的应用与理论》，1998年。第19届国际会议，ICATPN’98，葡萄牙里斯本，1998年6月22日至26日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1420, 365-384 (1998).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Kindler}和\textit{T.Vesper}，莱克特。注释计算。科学。1420365-384（1998年；Zbl 1510.68042） 全文： 内政部
最好的，艾克;卡图西亚帕拉米德斯 线性约束系统作为高级网络。 （英语） Zbl 1514.68156号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 498-513 (1996).MSC公司：68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{C.Palamidessi}，莱克特。注释计算。科学。1119498-513（1996年；兹bl 1514.68156） 全文： 内政部
何塞·梅塞盖尔 重写逻辑作为并发的语义框架：进度报告。 （英语） Zbl 1514.68175号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 331-372 (1996).MSC公司：68问题85 03B70号 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。1119、331--372（1996年；Zbl 1514.68175） 全文： 内政部
哈维尔·埃斯帕尔扎 使用网络展开进行模型检查。 （英语） 兹比尔1498.68157 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。668, 613-628 (1993).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}，莱克特。注释计算。科学。668613-628（1993年；Zbl 1498.68157） 全文： 内政部
普里塞·卢茨;多丽丝·诺尔特 强大的公平性和超标准。 （英语） Zbl 0769.68105号 西奥。计算。科学。 99，第1期，121-140（1992）.MSC公司：68问题85 03D20日 PDF格式BibTeX公司 XML格式引用 \textit｛L.Priese｝和\textit｛D.Nolte｝，Theor。计算。科学。99，第1号，121--140（1992；Zbl 0769.68105） 全文： 内政部
伯恩哈德·冯·斯坦格尔 语义独立性的代数表征。 （英语） Zbl 0741.68073号 信息处理。莱特。 39，第6期，291-296（1991）.MSC公司：68问题55 03克15 PDF格式BibTeX公司 XML格式引用 \textit{B.Von Stengel}，Inf.流程。莱特。39，第6号，291--296（1991；Zbl 0741.68073） 全文： 内政部
Shmuel Katz;多龙·贝利德 交错集时序逻辑。 （英语） 兹伯利0718.03014 西奥。计算。科学。 75，第3期，263-287（1990）. 审核人：J.-J.Ch.Meyer（阿姆斯特丹） MSC公司：03B45号 60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled}，Theor。计算。科学。75，第3号，263--287（1990；Zbl 0718.03014） 全文： 内政部