|
標題および責任表示
|
Concurrency theory and applications '96
|
|
出版・頒布事項
|
京都 : 京都大学数理解析研究所 , 1997.5
|
|
形態事項
|
ii, 242 p. ; 26 cm
|
|
書誌構造リンク
|
数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 996//a
|
|
内容著作注記
|
Fighting Livelock in the i-protocol with the concurrency factory / Y. S. Ramakrishna, Scott A. Smolka, Eugene W. Stark, Oleg Sokolsky
|
|
内容著作注記
|
Symbolic alternative characterizations of testing preorder for regular timed processes / Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
|
|
内容著作注記
|
Speed-sensitive orders for communicating processes / Ichiro Satoh
|
|
内容著作注記
|
Stepwise synthesis of partial specifications preserving strong (ω1, ω2)-equivalence / Yoshinao Isobe, Hidemoto Nakada, Yutaka Sato, Kazuhito Ohmaki
|
|
内容著作注記
|
Program slicing using functional networks / Sebastian Danicic, Mark Harman
|
|
内容著作注記
|
A theory of weak bisimulation for core CML / W. Ferreira, M. Hennessy, A. Jeffrey
|
|
内容著作注記
|
A metric semantics for the π-calculus extended with external events / Eiichi Horita, Ken Mano
|
|
内容著作注記
|
A domain for concurrent semantics of mobile processes / Masaki Murakami
|
|
内容著作注記
|
Symbolic bisimulations and proof systems for the π-calculus / Huimin Lin
|
|
内容著作注記
|
Time-action alternating mode for verifying symbolic bisimulation equivalence of timed processes / Akio Nakata, Teruo Higashino, Kenichi Taniguchi
|
|
内容著作注記
|
Multi-action π-calculus / Yukihiro Oda, Masaki Murakami
|
|
内容著作注記
|
On typing systmes for the polyadic π-calculus / Atsushi Togashi
|
|
内容著作注記
|
A calculus of parallel continuations and its monad models / Hiroyuki Sato
|
|
内容著作注記
|
Graph types for mondaic mobile processes / Nobuko Yoshida
|
|
内容著作注記
|
Execution and verification of 2nd order interval temporal logic / Shinji Kono
|
|
内容著作注記
|
Real-time synchronization machines for continuous media data / Noritaka Kawakatsu, Reiji Nakajima, Makoto Tanabe
|
|
内容著作注記
|
Ordered sos rules and weak bisimulation / Iain Phillips, Irek Ulidowski
|
|
内容著作注記
|
Towards cycle filling as parallelization / Yukihide Takayama
|
|
内容著作注記
|
The symbolic model-checking methods for real-time systems / Satoshi Yamane
|
|
注記
|
Workshop RIMS, Kyoto University, July 22-24, 1996 / chairman, Irek Ulidowski
|
|
学情ID
|
BA30900525
|
|
本文言語コード
|
英語
|
|
著者標目リンク
|
京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>
|
目録検索 ▼
マイライブラリ ▼
