TP311
国家自然科学基金,四川省教委青年科研基金,重庆市应用基础研究基金
本文概述了目前用于并发系统形式描述的几个重要的基本模型:FSM、Petri网,FTS以及CSP、CCS、Statechart等,
张广泉.并发系统基本模型及其分析[J].重庆大学学报,1998,21(3):26-31.