类型化π演算的双代数语义

Keywords: [共代数, 双代数, π演算, 进程语义, 互模拟, coalgebra, bialgebra, π-calculus, process semantics, bisimulation]

Full-Text   Cite this paper   Add to My Lib

Abstract:

证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的..

Full-Text