勇攀计算机科学理论新高峰 --记”并发进程的代数理论及验证工具” 项目主要完成人林惠民研究员

摘要：

@@ 林惠民研究员十几年来一直从事计算机科学基础研究,主要研究领域是并发程序的形式语义学和形式化方法.在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了国际先进水平的突破性进展,作出了重要贡献.

机标关键词：计算机科学、科学理论、并发进程、代数理论、验证工具、完成人、形式语义学、形式化方法、语义理论、研究领域、消息传送、进程代数、基础研究、并发程序、公理化、演算、惠民

所属期刊栏目：8

分类号：TP3;O14

在线出版日期：2004-04-09（万方平台首次上网日期，不代表论文的发表时间）

页码：20-22