陆维明 宋文

并发语言 语言递归性 良径 路径并发合成 同步合成操作 活性与无死锁性的保持性 共享合成 同步路径

湖南怀化 四川成都 怀化学院数学系 西华大学计算机科学与工程系 北京100080湖南怀化学院数学系 中国科学院数学与系统科学研究院数学研究所 中国科学院数学与系统科学研究院数学研究所...