克里斯特尔·拜尔 克莱门斯·杜斯拉夫 弗洛里安·芬克0002 西蒙·扬奇 雅各布·皮里鲍尔 罗宾·齐梅克 操作因果关系-必要且充分必要。 27-45 2022 从过程代数到时间自动机到模型学习的旅程 https://doi.org/10.1007/978-3-031-15629-8_2 conf/生日/2022vaandrager db/conf/生日/vaandrager2022.html#BaierDFJPZ22