lotos n.=lotus.
n. =lotus. “lotosaurus“ 中文翻譯: 芙蓉龍“lotorto“ 中文翻譯: 洛托爾托“lotosaurus adcentus“ 中文翻譯: 無齒芙蓉龍; 芙蓉龍“lotorp“ 中文翻譯: 盧托普“lotoshino“ 中文翻譯: 洛托希諾“lotongot“ 中文翻譯: 洛通戈特“lototski“ 中文翻譯: 洛托茨基“lotome“ 中文翻譯: 洛托梅“lototsky“ 中文翻譯: 洛托茨基“lotomau“ 中文翻譯: 洛托馬烏
lotta |
|
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進程代數描述語言,對于動作精化,我們同樣采用算子的觀點,將動作精化定義為一個操作算子。 |
|
Timed bundle event structures , is used as the system model and a real - time lotos - like process algebra is used as the specification language 動作精化是在并發理論當中一種很重要的層次化設計和刻畫方法。 |
|
Information technology - open systems interconnection - lotos description of the ccr service 信息技術.開放式系統互連. ccr服務的lotos的描述 |
|
Information technology - open systems interconnection - lotos description of the ccr protocol 信息技術.開放式系統互連. ccr協議的lotos描述 |