28 Aug
2021
28 Aug
'21
9:35 p.m.
次の論文をreviewしたので、 御案内しておきます。
https://zbmath.org/pdf/07357174.pdf
この論文は今世紀初頭にPetricが
Ann. Pure Appl. Logicでsyntacticalに した話を
https://zbmath.org/pdf/1036.18001.pdf
Petri nets等を用いてsemanticalにやったような 話です。
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=v5Y_MJncPz0