| 1 | What is PDSS | .... 5 |
| 2 | KL1 Language Specification | .... 6 |
| 3 | Micro PIMOS | .... 27 |
| 4 | PDSS Optional parameters | .... 39 |
| 5 | Tracer | .... 41 |
| 6 | Dead-lock detection | .... 45 |
| 7 | Appendices | .... 49 |
| End | .... 70 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda