fecher 中文意思是什麼
fecher
解釋
費克爾-
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
基於此，本文擴展了傳統的動作精化理論，研究具有時間指標的並發系統的動作精化理論，在我們研究的並發系統中，時間指標是系統的一個重要參數，動作的執行也是需要消耗時間的，並且緊急事件也被擴充到可以是任何事件，而不僅僅是超時事件。 -
25 fecher h, majster - cederbaum m, wu j. action refinement for probabilistic processes with true concurrency models
經過擴充，本文提出的動作精化理論更具有一般性和實用性。
分享友人