伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 同步程序代数：关于共享内存和基于事件的并发性的推理基础。 （英文） Zbl 1425.68293号 正式Asp。计算。 31,2号，133-163（2019）.MSC公司：68问题85 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛I.J.Hayes｝等人，正式Asp。计算。31，第2号，133--163（2019；Zbl 1425.68293） 全文： 内政部 arXiv公司
罗恩·范德梅登;张晨毅 具有调度程序的系统中的信息流。二： 精细化。 （英文） Zbl 1292.68037号 西奥。计算。科学。 484, 70-92 (2013).MSC公司：68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{C.Zhang}，Theor。计算。科学。484、70-92（2013年；Zbl 1292.68037） 全文： 内政部
约翰·德里克;格雷姆·史密斯 Z求精下的时序逻辑属性保持。 （英文） Zbl 1259.68032号 正式Asp。计算。 第393-416号第24页（2012年）.MSC公司：68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith}，正式Asp。计算。24，第3号，393--416（2012；Zbl 1259.68032） 全文： 内政部
T·M·拉贝哈加。;J.W.桑德斯。 考虑到概率的数据优化。 （英文） Zbl 1342.68096号 Boiten，Eerke（编辑）等人，第14届BCS-FACS精炼研讨会会议记录（REFINE 2009），荷兰埃因霍温，2009年11月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记259165-176（2009）。MSC公司：68号30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Rabehaja}和\textit{J.W.Sanders}，电子。注释Theor。计算。科学。259165--176（2009年；Zbl 1342.68096） 全文： 内政部
塞萨尔·罗德里格斯。;J.N.奥利维拉。;路易斯·巴博萨。 一个用于coargebraic精化的单一完整关系规则。 （英文） Zbl 1342.68241号 Boiten，Eerke（编辑）等人，第14届BCS-FACS精炼研讨会会议记录（REFINE 2009），荷兰埃因霍温，2009年11月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记259，3-19（2009）。MSC公司：68问题85 18秒20 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Rodrigues}等人，《电子》。注释Theor。计算。科学。259、3--19（2009年；Zbl 1342.68241） 全文： 内政部
史蒂夫·邓恩;斯泰西·康罗伊 一种实用的B。 （英文） Zbl 1156.68470号 Börger，Egon（编辑）等人，抽象状态机，B和Z。第一届国际会议，ABZ 2008，英国伦敦，2008年9月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87602-1/pbk）。计算机科学课堂讲稿5238195-208（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dunne}和\textit{S.Conroy}，莱克特。注释计算。科学。5238、195--208（2008年；Zbl 1156.68470） 全文： 内政部
杨红seok 关系分离逻辑。 （英文） Zbl 1111.68078号 西奥。计算。科学。 375，编号1-3308-334（2007）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \提奥，textit{H.杨}。计算。科学。375，编号1--3，308--334（2007；Zbl 1111.68078） 全文： 内政部
德意志，摩什;马丁·亨森。 在一个失败的范例中对精细化的分析。 （英文） Zbl 1105.68070号 正式Asp。计算。 18，第3期，329-363（2006）.MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}和\textit{M.C.Henson}，正式Asp。计算。18，第3号，329--363（2006；Zbl 1105.68070） 全文： 内政部
彼得·汉考克;皮埃尔·海韦拉特 编程接口和基本拓扑。 （英文） Zbl 1079.68022号 Ann.纯粹应用。逻辑 137，编号1-3，189-239（2006）.MSC公司：68号30 65楼03号 54级05 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{P.Hancock}和\textit{P.Hyvernat}，Ann.Pure Appl。逻辑137，No.1--3，189--239（2006；Zbl 1079.68022） 全文： 内政部 哈尔
保罗·加德纳 功率模拟及其与跟踪和故障细化的关系。 （英文） Zbl 1070.68103号 西奥。计算。科学。 309，编号1-3，157-176（2003）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \文本{P.加德纳}，Theor。计算。科学。309，编号1--3，157--176（2003；Zbl 1070.68103） 全文： 内政部
戴维·诺曼（David A.Naumann）。 高阶命令式语言数据优化的合理性。 （英文） Zbl 1002.68090号 西奥。计算。科学。 278，第1-2号，271-301（2002）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann}，Theor。计算。科学。278，编号1--2，271--301（2002；Zbl 1002.68090） 全文： 内政部
J·伯格哈特。;Kammüller，F。;J.W.桑德斯。 关于Galois嵌入的反对称性。 （英文） Zbl 0998.68078号 信息处理。莱特。 79，第2期，第57-63页（2001年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Burghardt}等人，《信息处理》。莱特。79，第2号，57--63（2001；Zbl 0998.68078） 全文： 内政部
莱默，K。;斯特罗珀，P。 精化和状态机抽象。 （英文） Zbl 0989.68088号 西奥。计算。科学。 266，第1-2号，195-235（2001）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lermer}和\textit{P.Strooper}，Theor。计算。科学。266，编号1--2，195-235（2001；Zbl 0989.68088） 全文： 内政部
王云峰;庞、军;查，明;杨朝辉;郑国良 一种使用精化演算的正式软件开发方法。 （英文） 兹伯利0981.68019 J.计算。科学。Technol公司。 16，第3期，251-262（2001）.MSC公司：68号01 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人，J.Compute。科学。Technol公司。16，第3号，251--262（2001；Zbl 0981.68019） 全文： 内政部
P.H.B.加德纳。 一致性和完备性的代数证明。 （英文） 兹伯利0874.68195 西奥。计算。科学。 150，第1期，161-191（1995）.MSC公司：60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}，Theor。计算。科学。150，第1号，161--191（1995；Zbl 0874.68195） 全文： 内政部
冯·赖特，J。 数据优化的网格。 （英文） Zbl 0790.68028号 学报信息。 第2105-135号（1994年）第31页.MSC公司：68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.von Wright}，《学报信息》31，第2期，第105--135页（1994；Zbl 0790.68028） 全文： 内政部
P.H.B.加德纳。;卡罗尔·摩根 数据优化的单一完整规则。 （英文） Zbl 0774.68081号 正式Asp。计算。 5，第4期，367-382（1993）.MSC公司：60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}和\textit{C.Morgan}，正式Asp。计算。5，第4号，367--382（1993；Zbl 0774.68081） 全文： 内政部