@文章{zbMATH05509474,作者{Hubert{Garavel}和Gwen{Sala\“un}和Wendelin{Serwe},Title={关于用CADP}验证异步电路的硬件进程的通信语义及其转换为loto的语义,FJournal={计算机编程科学},Journal={Sci.Comput.Program.}},ISSN={0167-6423},体积={74},数字={3},页数={100--127},年份:{2009},Publisher={Elsevier Science B.V.(北荷兰),阿姆斯特丹},语言{英语},DOI={10.1016/j.scico.2008.09.011},MSC2010={68Q85 68M99},Zbl={1160.68465}}