cederbaum 中文意思是什麼
cederbaum
解釋
策德鮑姆-
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進程代數描述語言，對于動作精化，我們同樣採用運算元的觀點，將動作精化定義為一個操作運算元。 -
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
基於此，本文擴展了傳統的動作精化理論，研究具有時間指標的並發系統的動作精化理論，在我們研究的並發系統中，時間指標是系統的一個重要參數，動作的執行也是需要消耗時間的，並且緊急事件也被擴充到可以是任何事件，而不僅僅是超時事件。 -
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
本文分別在語法和語義層次上對動作精化進行了定義，並證明了這兩個層次的動作精化在前述兩種等價關系下，關於一種基於完全偏序的指稱語義是一致的。 -
25 fecher h, majster - cederbaum m, wu j. action refinement for probabilistic processes with true concurrency models
經過擴充，本文提出的動作精化理論更具有一般性和實用性。
分享友人