艾琳·辛科;沃尔特·福格勒;约翰内斯·加里斯;N.Tri Nguyen公司;杰拉尔德·吕特根 共享内存的接口自动机。 （英语） Zbl 07592342号 学报信息。 59，第5期，521-556（2022年）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Schinko}等人，《信息学报》59，第5期，第521--556页（2022年；Zbl 07592342） 全文： 内政部
罗尔夫·亨尼克;亚历山大·克纳普;亚历山大·马德拉 基于事件/数据的系统的混合动态逻辑机构。 （英语） Zbl 1522.68322号 正式Asp。计算。 33，第6期，1209-1248（2021）.MSC公司：60年第68季度 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Hennicker｝等人，正式Asp。计算。33，第6号，1209--1248（2021；Zbl 1522.68322） 全文： 内政部 arXiv公司
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 为并发和数据构建模式接口理论。 （英语） Zbl 1312.68149号 Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学讲义7137，1-12（2012）。MSC公司：68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，Lect。注释计算。科学。7137，1-12（2012；Zbl 1312.68149） 全文： 内政部