Chinese translation for "cederbaum"

策德鲍姆
塞德鲍姆

Example Sentences:

	1.	25 fecher h , majster - cederbaum m , wu j . action refinement for probabilistic processes with true concurrency models 经过扩充，本文提出的动作精化理论更具有一般性和实用性。
	2.	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 基于此，本文扩展了传统的动作精化理论，研究具有时间指标的并发系统的动作精化理论，在我们研究的并发系统中，时间指标是系统的一个重要参数，动作的执行也是需要消耗时间的，并且紧急事件也被扩充到可以是任何事件，而不仅仅是超时事件。
	3.	21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985 本文分别在语法和语义层次上对动作精化进行了定义，并证明了这两个层次的动作精化在前述两种等价关系下，关于一种基于完全偏序的指称语义是一致的。
	4.	11 katoen j - p , langerak r , latella d , brinksma e . on specifying real - time systems in a causality - based setting . lecture notes in computer science 1135 , 1996 , pp . 385 - 405 . 12 fecher h , majster - cederbaum m , wu j . refinement of actions in a real - time process algebra with a true concurrency model 在系统模型的结构表示上，本文扩充了传统的事件结构，使用一种带时间信息的捆绑式事件结构来模拟系统行为，在系统模型的语言刻画上，本文采用的是带时间的类lotos进程代数描述语言，对于动作精化，我们同样采用算子的观点，将动作精化定义为一个操作算子。

Similar Words：

"cedenstam" Chinese translation, "ceder" Chinese translation, "ceder zeder" Chinese translation, "cederas" Chinese translation, "cederbage" Chinese translation, "cederberg" Chinese translation, "cederblad" Chinese translation, "cederbladh" Chinese translation, "cederblom" Chinese translation, "cederbom" Chinese translation