弱等价关系相关论文
本文的主要目的是确立相似关系的准确数学概念. 首先本文将等价关系合理推广为弱等价关系,其次为解决描述部分与整体的共同属性问......
Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演......
