你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 并发Kleene代数的发展。 （英语） Zbl 1344.68149号 J.日志。阿尔盖布。方法计划。 85，第4期，617-636（2016）.MSC公司：70年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人，J.Log。阿尔盖布。方法计划。85，第4号，617--636（2016；Zbl 1344.68149） 全文： 内政部
你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;彼得·奥赫恩 并发Kleene代数的发展。 （英语） Zbl 1344.68148号 Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2014年4月28日至5月1日，第14届国际会议，RAMiCS 2014，德国Marienstat。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-06250-1/pbk）。计算机科学课堂讲稿8428，1-18（2014）。MSC公司：70年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人，Lect。注释计算。科学。8428，1-18（2014；Zbl 1344.68148） 全文： 内政部 链接
范·斯塔登（Stephan van Staden）;你好，托尼 代数统一了运算计算。 （英语） Zbl 1452.68056号 Wolff，Burkhart（编辑）等人，《统一编程理论》。2012年8月27日至28日，第四届国际研讨会，UTP 2012，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。7681, 88-104 (2013).MSC公司：68号30 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.van Staden｝和\textit｛T.Hoare｝，Lect。注释计算。科学。7681、88--104（2013；Zbl 1452.68056） 全文： 内政部
你好，托尼;范·斯塔登（Stephan van Staden） 赞美代数。 （英语） Zbl 1259.68030号 正式Asp。计算。 24，编号4-6，423-431（2012）.MSC公司：68甲19 03B70号 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{S.van Staden}，正式Asp。计算。24，编号4--6423--431（2012；Zbl 1259.68030） 全文： 内政部
你好，托尼;范·斯塔登（Stephan van Staden） 编程法则统一了过程计算。 （英语） Zbl 1358.68064号 Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学课堂讲稿7342，7-22（2012）。MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}和\textit{S.van Staden}，莱克特。注释计算。科学。7342，7--22（2012；Zbl 1358.68064） 全文： 内政部