理查德·巴纳赫 验证导向的智能合约。 （英语） Zbl 1520.91440号 Braccali，Andrea（编辑）等人，《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯举行的2019年FC国际研讨会、投票和WTSC，修订了部分论文。查姆：斯普林格。勒克特。注释计算。科学。11599, 106-121 (2020).MSC公司：91G99型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}，莱克特。注释计算。科学。11599，106-121（2020；Zbl 1520.91440） 全文： 内政部
路易吉亚·皮特;埃琳娜·特鲁比西纳;瓦尔登，玛丽娜 凯萨·塞雷：纪念。 （英语） Zbl 1342.01036号 正式Asp。计算。 26，第2期，197-201（2014）.MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.Petre}等人，正式Asp。计算。26，第2号，197--201（2014；Zbl 1342.01036） 全文： 内政部
K.Mani Chandy;走吧，布莱恩;萨扬·密特拉;皮洛托、康塞塔;怀特，杰罗姆 使用本地全局谓词验证分布式系统。 （英语） Zbl 1242.68155号 正式Asp。计算。 第5号第23页，第649-679页（2011年）.MSC公司：60年第68季度 68米14 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Chandy}等人，《正式Asp》。计算。23，第5号，649--679（2011；Zbl 1242.68155） 全文： 内政部
巴纳赫，R。;杰斯克，C。 通过简洁的默认精简实现简单的功能工程。 （英语） Zbl 1231.68106号 J.日志。阿尔盖布。程序。 80，第8期，453-480（2011）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske}，J.Log。阿尔盖布。程序。80，第8号，453--480（2011；Zbl 1231.68106） 全文： 内政部
理查德·巴纳赫 事件B的缩减：使用案例开发和罗丹集成。 （英语） Zbl 1214.68129号 正式Asp。计算。 第113-131号第23页（2011年）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}，正式Asp。计算。23，第1号，113--131（2011；Zbl 1214.68129） 全文： 内政部
阿列克谢·伊利亚索夫;埃琳娜·特鲁比西纳;莱比尼斯·利纳斯;亚历山大·罗曼诺夫斯基 精炼自动化模式。 （英语） Zbl 1312.68072号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。《计算机科学讲义》6286,70-88（2010）。MSC公司：68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Iliasov}等人，Lect。注释计算。科学。6286、70-88（2010年；Zbl 1312.68072） 全文： 内政部
拉里萨·梅尼基;伊恩·海耶斯。 概率作用系统和while-loop的代数推理。 （英语） Zbl 1161.68014号 学报信息。 45，第5号，321-382（2008）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Meinicke}和\textit{I.J.Hayes}，《学报》第45期，第5期，第321--382页（2008年；Zbl 1161.68014） 全文： 内政部
Kurki-Soonio，R。 增量和面向方面建模中的动作系统。 （英语） Zbl 1448.68131号 分布计算。 16，第2-3号，201-217（2003）.MSC公司：68米14 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Kurki Suonio｝，分布式计算。16、编号2--3、201-217（2003；Zbl 1448.68131） 全文： 内政部
埃里克·海德曼。;Joost N.角。;塞雷，凯萨 协调行动系统。 （英语） Zbl 0959.68006号 西奥。计算。科学。 240，第1期，第91-115页（2000年）.MSC公司：68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Hedman}等人，Theor。计算。科学。240，编号1，91--115（2000；Zbl 0959.68006） 全文： 内政部
Sere，K。 程序和原子性细化。 （英语） Zbl 0875.68275号 信息处理。莱特。 60，第2期，67-74（1996）.MSC公司：68N99型 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Sere}，Inf.过程。莱特。60，第2号，67-74（1996年；Zbl 0875.68275） 全文： 内政部