Doriana Medic等人：可逆Pi-Calculi的参数化框架。(2018) 期刊/corr/abs-1808-08655 10.4204/EPTCS.276.8 1808.08655 可逆Pi-Calculi的参数化框架。 4 Doriana Medic公司 1 克劳迪奥·安塔雷斯·梅齐纳 2 伊恩·菲利普斯0001 三 吉田信子 4 第87页至第103页 快递/SOS 快递/SOS 2018 2018 dblp记录“journals/corr/abs-1808-08655”的RDF数据的来源信息 2020-10-26T08:44:08+0100