Concurrency theory and applications '96
著者
書誌事項
Concurrency theory and applications '96
（数理解析研究所講究録, 996）
京都大学数理解析研究所, 1997.5
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Workshop RIMS, Kyoto University, July 22-24, 1996 / chairman, Irek Ulidowski
収録内容
- 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
