| 本文言語 | English |
|---|---|
| ページ（範囲） | 15-27 |
| ページ数 | 13 |
| ジャーナル | International Journal in Foundations of Computer Science & Technology |
| 巻 | 2 |
| 号 | 4 |
| 出版ステータス | Published - 2012 |
An Application of Partial Evaluation of Communicating Processes to System Security
研究成果
研究成果
| 本文言語 | English |
|---|---|
| ページ（範囲） | 15-27 |
| ページ数 | 13 |
| ジャーナル | International Journal in Foundations of Computer Science & Technology |
| 巻 | 2 |
| 号 | 4 |
| 出版ステータス | Published - 2012 |