基于偏序简化的并发系统验证

王婷罗养霞房鼎益陈晓江何路

计算机应用与软件2008，Vol.25Issue(6)：63-64,67,3.

CONCURRENT SYSTEM VERIFICATION BASED ON PARTIAL ORDER REDUCTION

王婷 ¹罗养霞 ¹房鼎益 ¹陈晓江 ¹何路¹

作者信息

分布式系统/并发系统/偏序简化/进程代数/安全性

信息技术与安全科学

王婷,罗养霞,房鼎益,陈晓江,何路..基于偏序简化的并发系统验证[J].计算机应用与软件,2008,25(6):63-64,67,3.

本文受陕西省自然科学基金项目(2003F20)和陕西省教育厅产业化重点项目(05JC27)资助. （2003F20）

OACSTPCD

ISSN：1000-386X

访问量1

下载量0

段落导航