Luca Aceto等人：通过约简得到的非有限公理化结果：CSP平行组成和CCS限制。(2022) conf/生日/AcetoACI22 10.1007/978-3-031-15629-8_1 通过约简得到的非有限公理化结果：CSP并行组合和CCS限制。 4 卢卡·埃特罗 1 埃利·阿纳斯塔西亚迪 2 瓦伦蒂娜·卡斯蒂格利奥尼 三 Anna Ingólfsdóttir女士 4 1-26 从过程代数到时间自动机到模型学习的旅程 从过程代数到时间自动机到模型学习的旅程 2022 2022 dblp记录“conf/baurth/AcetoACI22”的RDF数据的来源信息 2022-10-18T22:17:02+0200