刘天戈等人：《移动过程的模态逻辑》。(2023) conf/concur/LiuTG23 10.4230/LIPICS公司。合同2023.34 移动进程的模态逻辑重温。 三 刘天阁 1 Alwen Tiu先生 2 吉姆·德·格罗特 三 34:1-34:17 CONCUR公司 CONCUR公司 2023 2023 dblp记录“conf/concur/LiuTG23”的RDF数据的来源信息 2024-02-05T20:34:22+0100