| Acknowledgement | .... 3 | |
| Contents | .... 4 | |
| 1 | What is PDSS | .... 6 |
| 2 | KL1 Language Specification | .... 7 |
| 3 | Micro PIMOS | .... 34 |
| 4 | PDSS Optional Parameters | .... 46 |
| 5 | Tracerトレーサ | .... 48 |
| 6 | Dead-lock Detection | .... 52 |
| Appendix | .... 55 | |
| Index | .... 78 | |
| End | .... 81 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda