. . . . . “Luca Aceto等人：关于CCS上分支互模拟同余的公理化。（2022）”。 . . _：ID_ad8a2809610eef21100e2063a5da8822。_：ID_ad8a2809610eef21100e2063a5da8822 ._：ID_ad8a2809610eef21100e2063a5da8822 ._：ID_ad8a2809610eef21100e2063a5da8822“期刊/corr/abs-2206-13927”。 _：ID_a6057d001c17b29e71fc63e779f4f160。_：ID_a6057d001c17b29e71fc63e779f4f160 ._：ID_a6057d001c17b29e71fc63e779f4f160 ._：ID_a6057d001c17b29e71fc63e779f4f160“10.48550/ARXIV.2206.13927”。 “关于CCS上分支互模拟同余的公理化”。 . . . . . "4"^^. _：Sig_9a6c46e655a28a65fcf03f409a6e2366_1。_：Sig_9a6c46e655a28a65fcf03f409a6e2366_1 ._：信号_9a6c46e655a28a65fcf03f409a6e2366_1“卢卡·埃特罗”。_：Sig_9a6c46e655a28a65fcf03f409a6e2366_1 ._：Sig_9a6c46e655a28a65fcf03f409a6e2366_1"1"^^._：Sig_9a6c46e655a28a65fcf03f409a6e2366_1 . _：Sig_9a6c46e655a28a65fcf03f409a6e2366_2。_：信号_9a6c46e655a28a65fcf03f409a6e2366_2 ._：Sig_9a6c46e655a28a65fcf03f409a6e2366_2“瓦伦蒂娜·卡斯蒂格利奥尼”。_：Sig_9a6c46e655a28a65fcf03f409a6e2366_2 ._：Sig_9a6c46e655a28a65fcf03f409a6e2366_2“2”^^._：Sig_9a6c46e655a28a65fcf03f409a6e2366_2 . _：Sig_9a6c46e655a28a65fcf03f409a6e2366_3。_：Sig_9a6c46e655a28a65fcf03f409a6e2366_3 ._：Sig_9a6c46e655a28a65fcf03f409a6e2366_3“Anna Ing\u00F3lfsd\u00F3ttir”。_：Sig_9a6c46e655a28a65fcf03f409a6e2366_3 ._：Sig_9a6c46e655a28a65fcf03f409a6e2366_3"3"^^._：Sig_9a6c46e655a28a65fcf03f409a6e2366_3 . _：Sig_9a6c46e655a28a65fcf03f409a6e2366_4。_：Sig_9a6c46e655a28a65fcf03f409a6e2366_4 ._：Sig_9a6c46e655a28a65fcf03f409a6e2366_4“Bas Luttik”。_：Sig_9a6c46e655a28a65fcf03f409a6e2366_4 ._：Sig_9a6c46e655a28a65fcf03f409a6e2366_4"4"^^._：Sig_9a6c46e655a28a65fcf03f409a6e2366_4 . . . . “CoRR”。 “CoRR”。 “abs/2206.13927”。 "2022"^^. “dblp记录‘journals/corr/abs-2206-13927’的RDF数据的起源信息”。 . . . “2022-07-04T16:22:19+0200”。