ブラウズ : 著者 PHILLIPS, IAIN
検索結果表示: 1 - 1 / 1
書誌情報 | ファイル |
---|---|
ORDERED SOS RULES AND WEAK BISIMULATION(Concurrency Theory and Applications '96) PHILLIPS, IAIN; ULIDOWSKI, IREK (1997-05) 数理解析研究所講究録, 996: 195-206 |
書誌情報 | ファイル |
---|---|
ORDERED SOS RULES AND WEAK BISIMULATION(Concurrency Theory and Applications '96) PHILLIPS, IAIN; ULIDOWSKI, IREK (1997-05) 数理解析研究所講究録, 996: 195-206 |