. . . . . “Jens Aagaard等人：应用Pi-Calculus的无上下文会话类型（2018）”。 . . _：ID_000f17a2f1e604a062930ffd36b19da1。_：ID_000f17a2f1e604a062930ffd36b19da1 ._：ID_000f17a2f1e604a062930ffd36b19da1 ._：ID_000f17a2f1e604a062930ffd36b19da1“日记账/corr/abs-1808-08648”。 _：ID_f88a6c99aceec81d51c600d9d96601a2。_：ID_f88a6c99aceec81d51c600d9d96601a2 ._：ID_f88a6c99aceec81d51c600d9d96601a2 ._：ID_f88a6c99aceec81d51c600d9d96601a2“10.4204/EPTCS.276.3”。 _：ID_0f4106f43c5b1733499d1d4224ec4ed2。_：ID_0f4106f43c5b1733499d1d4224ec4ed2 ._：ID_0f4106f43c5b1733499d1d4224ec4ed2 ._：ID_0f4106f43c5b1733499d1d4224ec4ed2"1808.08648" . “应用Pi-Calculus的无上下文会话类型。”。 . . . . . "4"^^. _：Sig_ecf1367fe6799fe44f752eda2b4538e5_1。_：Sig_ecf1367fe6799fe44f752eda2b4538e5_1 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_1“Jens Aagaard”。_：Sig_ecf1367fe6799fe44f752eda2b4538e5_1 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_1"1"^^._：Sig_ecf1367fe6799fe44f752eda2b4538e5_1 . _：Sig_ecf1367fe6799fe44f752eda2b4538e5_2。_：Sig_ecf1367fe6799fe44f752eda2b4538e5_2 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_2“Hans H\u00FCttel”。_：Sig_ecf1367fe6799fe44f752eda2b4538e5_2 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_2 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_2"2"^^._：Sig_ecf1367fe6799fe44f752eda2b4538e5_2 . _：Sig_ecf1367fe6799fe44f752eda2b4538e5_3。_：Sig_ecf1367fe6799fe44f752eda2b4538e5_3 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_3“马蒂亚斯·雅各布森”。_：Sig_ecf1367fe6799fe44f752eda2b4538e5_3 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_3"3"^^._：Sig_ecf1367fe6799fe44f752eda2b4538e5_3 . _：Sig_ecf1367fe6799fe44f752eda2b4538e5_4。_：Sig_ecf1367fe6799fe44f752eda2b4538e5_4 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_4“米克尔·凯特纳”。_：Sig_ecf1367fe6799fe44f752eda2b4538e5_4 ._：Sig_ecf1367fe6799fe44f752eda2b4538e5_4“4”^^._：Sig_ecf1367fe6799fe44f752eda2b4538e5_4 . . . . . "3-18" . “快递/SOS”。 “快递/SOS”。 "2018"^^. "2018"^^. . “dblp记录'journals/corr/abs-1808-08648'的RDF数据的来源信息”。 . . . “2019-09-25T17:52:34+0200”。