Mobile
Log In Sign Up
Home > english-chinese > "majster" in Chinese

Chinese translation for "majster"

迈斯特
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:
"majsec" Chinese translation, "majski" Chinese translation, "majsky" Chinese translation, "majsnerova" Chinese translation, "majsson" Chinese translation, "majstorov" Chinese translation, "majstorovic" Chinese translation, "majstovic" Chinese translation, "majstrikova" Chinese translation, "majstrovic" Chinese translation