休伯特Garavel;弗雷德里克·朗 40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号 Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189） 全文： 内政部 哈尔
托尔斯滕·维曼;汉斯·佩特·迪费尔;斯特凡·米利厄斯;卢茨施罗德 从泛型分区细化到加权树自动机最小化。 （英语） Zbl 1519.68126号 正式Asp。计算。 33，编号4-5，695-727（2021）.MSC公司：65年第68季度 60J20型 68问题85 第68季度87 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人，《形式语法》。计算。33，编号4--5，695--727（2021；Zbl 1519.68126） 全文： 内政部 arXiv公司
埃夫拉德，雨果;弗雷德里克·朗 从异步进程的形式化模型自动生成分布式代码，这些进程通过多路汇聚进行交互。 （英语） Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88, 121-153 (2017).MSC公司：68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang}，J.Log。阿尔盖布。方法计划。88、121--153（2017年；Zbl 1362.68038） 全文： 内政部 哈尔
休伯特Garavel;弗雷德里克·朗;拉杜·马特埃斯库;温德林·塞维 CADP 2010：用于构建和分析分布式过程的工具箱。 （英语） Zbl 1316.68074号 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605372-387（2011）。MSC公司：60年第68季度 68-04 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人，Lect。注释计算。科学。6605372--387（2011年；Zbl 1316.68074） 全文： 内政部
弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 将FSP转换为LOTOS和自动机网络。 （英语） Zbl 1214.68220号 正式Asp。计算。 第6号第22页，第681-711页（2010年）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人，正式Asp。计算。22，第6号，681--711（2010；Zbl 1214.68220） 全文： 内政部
休伯特Garavel;格温·萨拉恩;温德林·塞维 关于通信硬件进程的语义及其转换为LOTOS，以便使用CADP验证异步电路。 （英语） Zbl 1160.68465号 科学。计算。程序。 74，第3期，100-127（2009）.MSC公司：68问题85 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人，科学。计算。程序。74，编号3，100-127（2009年；兹bl 1160.68465） 全文： 内政部 链接