Daniel Hirschkoff等人：关于π演算中的序列性和包围性。(2021) conf/lics/HirschkoffPS21 10.1109/LICS52264.2021.9470559 关于π-演算中的序列性和包围性。 三 丹尼尔·赫希科夫 1 Enguerrand预赛 2 戴维德·桑吉奥吉 三 1月13日 许可证 许可证 2021 2021 dblp记录“conf/lics/HirschkoffPS21”的RDF数据的来源信息 2023-09-30T09:52:08+0200