| 1. | University of twente , 1996 . 5 fecher h , majster - cederbaum m , wu j . bundle event structures : a revised cpo approach . information processing letters , 2002 , 83 : 7 - 12 . 6 katoen j - p , langerak r , brinksma e , latella d , bolognesi t . a consistent causality based view on a timed process algebra including urgent interactions
基于此，本文扩展了传统的动作精化理论，研究具有时间指标的并发系统的动作精化理论，在我们研究的并发系统中，时间指标是系统的一个重要参数，动作的执行也是需要消耗时间的，并且紧急事件也被扩充到可以是任何事件，而不仅仅是超时事件。 |
