. . . . . “Luca Aceto等人：关于CCS上分支互模拟同余的公理化。（2022）”。 . . _：ID_0cb378288a5be82f9ea465d438c452b0。_：ID_0cb378288a5be82f9ea465d438c452b0 ._：ID_0cb378288a5be82f9ea465d438c452b0 ._：ID_0cb378288a5be82f9ea465d438c452b0“conf/conver/AcetoCIL22”。 _：ID_f42384339bebf72cb8de8fa1b0efb5a1。_：ID_f42384339bebf72cb8de8fa1b0efb5a1 ._：ID_f42384339bebf72cb8de8fa1b0efb5a1 ._：ID_f42384339bebf72cb8de8fa1b0efb5a1“10.4230/LIPICS.CONCUR.2022.6”。 “关于CCS上分支互模拟同余的公理化”。 . . . . . "4"^^. _：Sig_c4eb7ff75939a97356dc6da307a213f4_1。_：Sig_c4eb7ff75939a97356dc6da307a213f4_1 ._：Sig_c4eb7ff75939a97356dc6da307a213f4_1“卢卡·埃特罗”。_：Sig_c4eb7ff75939a97356dc6da307a213f4_1 ._：Sig_c4eb7ff75939a97356dc6da307a213f4_1"1"^^._：Sig_c4eb7ff75939a97356dc6da307a213f4_1 . _：Sig_c4eb7ff75939a97356dc6da307a213f4_2。_：Sig_c4eb7ff75939a97356dc6da307a213f4_2 ._：Sig_c4eb7ff75939a97356dc6da307a213f4_2“瓦伦蒂娜·卡斯蒂格利奥尼”。_：Sig_c4eb7ff75939a97356dc6da307a213f4_2 ._：Sig_c4eb7ff75939a97356dc6da307a213f4_2“2”^^._：Sig_c4eb7ff75939a97356dc6da307a213f4_2 . _：Sig_c4eb7ff75939a97356dc6da307a213f4_3。_：Sig_c4eb7ff75939a97356dc6da307a213f4_3 ._：Sig_c4eb7ff75939a97356dc6da307a213f4_3“Anna Ing\u00F3lfsd\u00F3ttir”。_：Sig_c4eb7ff75939a97356dc6da307a213f4_3 ._：Sig_c4eb7ff75939a97356dc6da307a213f4_3"3"^^._：Sig_c4eb7ff75939a97356dc6da307a213f4_3 . _：Sig_c4eb7ff75939a97356dc6da307a213f4_4。_：Sig_c4eb7ff75939a97356dc6da307a213f4_4 ._：Sig_c4eb7ff75939a97356dc6da307a213f4_4“Bas Luttik”。_：Sig_c4eb7ff75939a97356dc6da307a213f4_4 ._：Sig_c4eb7ff75939a97356dc6da307a213f4_4"4"^^._：Sig_c4eb7ff75939a97356dc6da307a213f4_4 . . . . "6:1-6:18" . “同意”。 “CONCUR”。 "2022"^^. "2022"^^. . “dblp记录'conf/conver/ActeoCIL22'的RDF数据的来源信息”。 . . . “2022-09-26T17:09:13+0200”。