过程计算中的解与分歧唯一性 电子书下载

原名:Unicité des solutions et divergences dans les calculs de processus
作品简介:与 CCS 或 π 计算过程的计算不相关。 généralement sur des crit`eres Syntaxiques qui Ensurent l\’Unicité (comme les……