書誌情報	ファイル
表紙・目次    (1997-05)   数理解析研究所講究録, 996
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
Speed-Sensitive Orders for Communicating Processes(Concurrency Theory and Applications '96)   Satoh, Ichiro (1997-05)   数理解析研究所講究録, 996: 23-38
Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)   Isobe, Yoshinao; Nakada, Hidemoto; Sato, Yutaka; Ohmaki, Kazuhito (1997-05)   数理解析研究所講究録, 996: 39-53
Program Slicing using Functional Networks(Concurrency Theory and Applications '96)   Danicic, Sebastian; Harman, Mark (1997-05)   数理解析研究所講究録, 996: 54-65
A Theory of Weak Bisimulation for Core CML(Concurrency Theory and Applications '96)   Ferreira, W.; Hennessy, M.; Jeffrey, A. (1997-05)   数理解析研究所講究録, 996: 66-66
A Metric Semantics for the $\pi$-Calculus Extended with External Events(Concurrency Theory and Applications '96)   Horita, Eiichi; Mano, Ken (1997-05)   数理解析研究所講究録, 996: 67-81
A Domain for Concurrent Semantics of Mobile Processes(Concurrency Theory and Applications '96)   Murakami, Masaki (1997-05)   数理解析研究所講究録, 996: 82-95
Symbolic Bisimulations and Proof Systems for The $\pi$-Calculus(Concurrency Theory and Applications '96)   Lin, Huimin (1997-05)   数理解析研究所講究録, 996: 96-97
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
Multi-action $\pi$-calculus(Concurrency Theory and Applications '96)   ODA, Yukihiro; MURAKAMI, Masaki (1997-05)   数理解析研究所講究録, 996: 111-124
On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)   Togashi, Atsushi (1997-05)   数理解析研究所講究録, 996: 125-142
A Calculus of Parallel Continuations and its Monad Models(Concurrency Theory and Applications '96)   SATO, Hiroyuki (1997-05)   数理解析研究所講究録, 996: 143-157
GRAPH TYPES FOR MONADIC MOBILE PROCESSES(Concurrency Theory and Applications '96)   YOSHIDA, NOBUKO (1997-05)   数理解析研究所講究録, 996: 158-161
Execution and verification of 2nd order interval temporal logic(Concurrency Theory and Applications '96)   Kono, Shinji (1997-05)   数理解析研究所講究録, 996: 162-180
Real-Time Synchronization Machines for Continuous Media Data(Concurrency Theory and Applications '96)   Kawakatsu, Noritaka; Nakajima, Reiji; Tanabe, Makoto (1997-05)   数理解析研究所講究録, 996: 181-194
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
The symbolic model-checking methods for real-time systems(Concurrency Theory and Applications '96)   Yamane, Satoshi (1997-05)   数理解析研究所講究録, 996: 222-242