伊恩·海耶斯。；拉里萨·梅尼基。；克尔斯滕·温特；罗伯特·J·科尔文。 同步程序代数：关于共享内存和基于事件的并发性的推理基础。 （英语） Zbl 1425.68293号 正式Asp。计算。 31,2号，133-163（2019）.MSC公司：68问题85 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes}等人，《形式语法》。计算。31，第2号，133--163（2019；Zbl 1425.68293） 全文： 内政部 arXiv公司
罗伯特·J·科尔文。；伊恩·海耶斯。；拉里萨·梅尼基。 为具有并发性的广谱语言设计语义模型。 （英语） Zbl 1375.68036号 正式Asp。计算。 29，第5号，853-875（2017）.MSC公司：68甲15 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}等人，正式Asp。计算。29，第5号，853--875（2017；Zbl 1375.68036） 全文： 内政部 arXiv公司
布里杰什·多戈尔；伊恩·海耶斯。；乔治·斯特鲁斯 卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 （英语） Zbl 1367.68210号 ACM事务处理。计算。日志。 17，第3号，第15条，第25页（2016年）.MSC公司：68问题85 03B70号 07年6月 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人，ACM Trans。计算。日志。17，第3号，第15条，第25页（2016；Zbl 1367.68210） 全文： 内政部
伊恩·海耶斯。 广义相对保证并发：代数基础。 （英语） Zbl 1348.68035号 正式Asp。计算。 28，第6期，1057-1078（2016）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes}，正式Asp。计算。28，第6号，1057--1078（2016；Zbl 1348.68035） 全文： 内政部 arXiv公司
克利夫·琼斯。；伊恩·海耶斯。；罗伯特·J·科尔文。 在并发的正式方法中平衡表达能力。 （英语） Zbl 1343.68171号 正式Asp。计算。 27，第3期，475-497（2015）.MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}等人，正式Asp。计算。27，第3号，475--497（2015；Zbl 1343.68171） 全文： 内政部
Höfner，P。；罗布·范格拉贝克；伊恩·海耶斯 前言。 （英语） Zbl 1259.01011号 正式Asp。计算。 24，编号4-6，417-422（2012）.MSC公司：01A70号 2003年8月 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人，正式Asp。计算。24、编号4--6、417--422（2012；Zbl 1259.01011） 全文： 内政部
布里杰什·多戈尔；伊恩·海耶斯。；拉里萨·梅尼基；金索林 面向实时程序的代数。 （英语） Zbl 1364.68135号 Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日，第13届国际会议，RAMiCS 2012，英国剑桥。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560，50-65（2012）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人，Lect。注释计算。科学。7560，50-65（2012；Zbl 1364.68135） 全文： 内政部
罗伯特·J·科尔文。；伊恩·海耶斯。 通过上下文相关行为实现结构操作语义。 （英语） Zbl 1223.68026号 J.日志。阿尔盖布。程序。 80，第7期，392-426（2011）.MSC公司：68甲15 68问题55 68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes}，J.Log。阿尔盖布。程序。80，第7号，392--426（2011；Zbl 1223.68026） 全文： 内政部
罗伯特·J·科尔文。；伊恩·海耶斯。 使用CSP和规范命令的行为树语义。 （英语） Zbl 1220.68050号 科学。计算。程序。 76，第10号，891-914（2011）.MSC公司：68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes}，科学。计算。程序。76，第10号，891--914（2011；Zbl 1220.68050） 全文： 内政部
罗伯特·科尔文；伊恩·海耶斯。 具有分层状态的CSP。 （英语） Zbl 1211.68266号 Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423118-135（2009）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Colvin｝和\textit｛I.J.Hayes｝，Lect。注释计算。科学。5423118--135（2009年；Zbl 1211.68266） 全文： 内政部