休伯特·加拉维;格温·萨拉恩;温德林·塞维 关于通信硬件进程的语义及其转换为LOTOS，以便使用CADP验证异步电路。 （英语） Zbl 1160.68465号 科学。计算。程序。 74，第3期，100-127（2009）.MSC公司：68问题85 68米99 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人，科学。计算。程序。74，第3号，100-127（2009；Zbl 1160.68465） 全文： 内政部 链接
格温·萨拉恩;温德林·塞维 将硬件进程代数转换为标准进程代数：用CHP和LOTOS进行说明。 （英语） 兹比尔1137.68454 Romijn，Judi（编辑）等人，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771287-306（2005）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Salaün}和\textit{W.Serwe}，莱克特。注释计算。科学。3771287--306（2005年；Zbl 1137.68454） 全文： 内政部 链接