再谈Interleaving 用Interleaving的观点来理解并发，实际上是用非确定性特性代替系 统的并发特征。能够这样做的理由： 口保持动作的原子性： 在一定程度上对问题进行简化，以得到良好的代数性质。 目前的进程代数系统就是采用Interleaving模型描述并发，典型的 代表有CCS和CSP 基于Interleaving的模型描述并发的缺点是很多现象不能描述 口如组件对象内部多线程的并发执行 口毫无疑问，非确定性并不能代替并发 从CCS,CSP看Petri nets o Petri nets是描述真并发的典型系统，它没有CCS那样漂亮的演算 系统，但它可以刻画更多并发现象，如并发、矛盾及接触等等 Tian Zhang Nanjing University 6Tian Zhang @ Nanjing University 6 再谈 Interleaving „ 用Interleaving的观点来理解并发，实际上是用非确定性 特性代替系 统的并发特征。能够这样做的理由： ‰ 保持动作的原子性； ‰ 在一定程度上对问题进行简化，以得到良好的代数性质。 ‰ 目前的进程代数系统 就是采用Interleaving模型描述并发，典型的 代表有CCS和CSP „ 基于Interleaving的模型描述并发的缺点是很多现象不能描述 ‰ 如组件对象内部多线程的并发执行 ‰ 毫无疑问，非确定性并不能代替并发 „ 从CCS, CSP看Petri nets ‰ Petri nets是描述真并发 的典型系统，它没有CCS那样漂亮的演算 系统，但它可以刻画更多并发现象，如并发、矛盾及接触等等