破裂
发表于 2025-4-1 04:15:03
,Checking bisimilarity for finitary π-calculus, so that agents are mapped into strongly bisimilar unfoldings if and only if they are early strongly bisimilar. For a class of finitary agents (that strictly contains the finite control agents) without matching, the corresponding unfoldings are finite and can be built efficiently. The main consequen
群居动物
发表于 2025-4-1 09:25:49
http://reply.papertrans.cn/23/2205/220441/220441_62.png