An Example of Modelling and Evaluation of A Concurrent Program Using Coloured Stochastic Petri Net:Lamport`s Fast Mutual Exclusion Algorithm | |
---|---|
學年 | 81 |
學期 | 1 |
申請日期 | 1992-08-01 |
得獎人員 | 陳伯榮 Chen Po-zung |
得獎論文名稱 | An Example of Modelling and Evaluation of A Concurrent Program Using Coloured Stochastic Petri Net:Lamport`s Fast Mutual Exclusion Algorithm |
得獎等級 | 0 |
所屬類別 | 0 |
出版者 | |
研究獎勵類別 | 2 |
備註 | |
發表日期 | 1992-01-01 |