Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0996 Concurrency Theory and Applications '96
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 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
絞り込み
著者
1
Danicic, Sebastian
1
Ferreira, W.
1
Harman, Mark
1
Hennessy, M.
1
HIGASHINO, Teruo
1
Horita, Eiichi
1
Inagaki, Yasuyoshi
1
Isobe, Yoshinao
1
Jeffrey, A.
1
Kawakatsu, Noritaka
.
次 >
キーワード
1
A-TSLTS
1
BDD
1
most general boolean
1
real-time systems
1
symbolic bisimulations
1
symbolic model checking
1
timed process
1
untimed bisimulation equivalence
1
verification
発行日
19
1997
分類
19
410