Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 19.

前
1
2
次

検索結果:

書誌情報	ファイル
The symbolic model-checking methods for real-time systems(Concurrency Theory and Applications '96) Yamane, Satoshi (1997-05) 数理解析研究所講究録, 996: 222-242
ORDERED SOS RULES AND WEAK BISIMULATION(Concurrency Theory and Applications '96) PHILLIPS, IAIN; ULIDOWSKI, IREK (1997-05) 数理解析研究所講究録, 996: 195-206
Towards Cycle Filling as Parallelization(Concurrency Theory and Applications '96) Takayama, Yukihide (1997-05) 数理解析研究所講究録, 996: 207-221
Time-Action Alternating Model for Verifying Symbolic Bisimulation Equivalence of Timed Processes(Concurrency Theory and Applications '96) NAKATA, Akio; HIGASHINO, Teruo; TANIGUCHI, Kenichi (1997-05) 数理解析研究所講究録, 996: 98-110
Real-Time Synchronization Machines for Continuous Media Data(Concurrency Theory and Applications '96) Kawakatsu, Noritaka; Nakajima, Reiji; Tanabe, Makoto (1997-05) 数理解析研究所講究録, 996: 181-194
Multi-action $\pi$-calculus(Concurrency Theory and Applications '96) ODA, Yukihiro; MURAKAMI, Masaki (1997-05) 数理解析研究所講究録, 996: 111-124
A Calculus of Parallel Continuations and its Monad Models(Concurrency Theory and Applications '96) SATO, Hiroyuki (1997-05) 数理解析研究所講究録, 996: 143-157
Execution and verification of 2nd order interval temporal logic(Concurrency Theory and Applications '96) Kono, Shinji (1997-05) 数理解析研究所講究録, 996: 162-180
Fighting Livelock in the i-Protocol with the Concurrency Factory(Concurrency Theory and Applications '96) Ramakrishna, Y.S.; Smolka, Scott A.; Stark, Eugene W.; Sokolsky, Oleg (1997-05) 数理解析研究所講究録, 996: 1-4
Symbolic Alternative Characterizations of Testing Preorder for Regular Timed Processes(Concurrency Theory and Applications '96) Yuen, Shoji; Sakabe, Toshiki; Inagaki, Yasuyoshi (1997-05) 数理解析研究所講究録, 996: 5-22