电脑体验，效果更佳

李勇坚图谱-计算机领域：

相关人员

孙永强 唐毅 何积丰

研究领域

完备性 操作语义 可靠性 事件调度 离散事件调度 交叠式并发语义 区间时态逻辑 范式归约

所属机构

中国科学院软件研究所 上海大学计算机科学与技术系 澳门联合国大学国际软件研究所 上海交通大学计算机科学与工程系 澳门联合国大学国际软件技术研究所 澳门联合国大学国际软件研究所澳门

标签云