莫里斯·拉维奥;Tim A.C.Willemse。 在具有多个动作的进程代数中分解单片进程。 （英语） Zbl 07665442号 J.日志。阿尔盖布。方法计划。 132，文章ID 100858，24 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Laveaux}和\textit{T.A.C.Willemse}，J.Log。阿尔盖布。方法计划。132，文章ID 100858，24 p.（2023；Zbl 07665442） 全文： DOI程序 arXiv公司
马克·蒂默;Joost-Pieter卡托恩;范德波尔（Jaco van de Pol）;玛丽·斯托琳加 马尔可夫自动机的汇流约简。 （英语） Zbl 1356.68136号 西奥。计算。科学。 655，B部分，193-219（2016）.MSC公司：65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人，Theor。计算。科学。655，B部分，193--219（2016；Zbl 1356.68136） 全文： DOI程序
Joost-Pieter卡托恩;范德波尔（Jaco van de Pol）;玛丽·斯托琳加;马克·蒂默 概率自动机数据的线性过程代数格式。 （英语） Zbl 1283.68246号 西奥。计算。科学。 413，第1期，36-57（2012）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.-P.Katoen}等人，Theor。计算。科学。413，编号1，36-57（2012；Zbl 1283.68246） 全文： DOI程序 链接
马克·蒂默;玛丽·斯托琳加;范德波尔（Jaco van de Pol） 概率系统的汇流减少。 （英语） Zbl 1316.68077号 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605311-325（2011）。MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人，Lect。注释计算。科学。6605311--325（2011；Zbl 1316.68077） 全文： DOI程序 arXiv公司
范德波尔（Jaco van de Pol）;马克·蒂默 利用控制流重构对线性过程进行状态空间约简。 （英语） Zbl 1262.68133号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学讲义5799，54-68（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{M.Timmer}，莱克特。注释计算。科学。5799、54-68（2009年；Zbl 1262.68133） 全文： DOI程序 链接