Collection home page

0996 Concurrency Theory and Applications '96   20
(http://hdl.handle.net/2433/59886)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 20
BibliographyContents
表紙・目次
   (1997-05)
  数理解析研究所講究録, 996
file type icon
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
file type icon
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
file type icon
Speed-Sensitive Orders for Communicating Processes(Concurrency Theory and Applications '96)
  Satoh, Ichiro (1997-05)
  数理解析研究所講究録, 996: 23-38
file type icon
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
file type icon
Program Slicing using Functional Networks(Concurrency Theory and Applications '96)
  Danicic, Sebastian, Harman, Mark (1997-05)
  数理解析研究所講究録, 996: 54-65
file type icon
A Theory of Weak Bisimulation for Core CML(Concurrency Theory and Applications '96)
  Ferreira, W., Hennessy, M., Jeffrey, A. (1997-05)
  数理解析研究所講究録, 996: 66-66
file type icon
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
file type icon
A Domain for Concurrent Semantics of Mobile Processes(Concurrency Theory and Applications '96)
  Murakami, Masaki (1997-05)
  数理解析研究所講究録, 996: 82-95
file type icon
Symbolic Bisimulations and Proof Systems for The $\pi$-Calculus(Concurrency Theory and Applications '96)
  Lin, Huimin (1997-05)
  数理解析研究所講究録, 996: 96-97
file type icon
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
file type icon
Multi-action $\pi$-calculus(Concurrency Theory and Applications '96)
  ODA, Yukihiro, MURAKAMI, Masaki (1997-05)
  数理解析研究所講究録, 996: 111-124
file type icon
On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)
  Togashi, Atsushi (1997-05)
  数理解析研究所講究録, 996: 125-142
file type icon
A Calculus of Parallel Continuations and its Monad Models(Concurrency Theory and Applications '96)
  SATO, Hiroyuki (1997-05)
  数理解析研究所講究録, 996: 143-157
file type icon
GRAPH TYPES FOR MONADIC MOBILE PROCESSES(Concurrency Theory and Applications '96)
  YOSHIDA, NOBUKO (1997-05)
  数理解析研究所講究録, 996: 158-161
file type icon
Execution and verification of 2nd order interval temporal logic(Concurrency Theory and Applications '96)
  Kono, Shinji (1997-05)
  数理解析研究所講究録, 996: 162-180
file type icon
Real-Time Synchronization Machines for Continuous Media Data(Concurrency Theory and Applications '96)
  Kawakatsu, Noritaka, Nakajima, Reiji, Tanabe, Makoto (1997-05)
  数理解析研究所講究録, 996: 181-194
file type icon
ORDERED SOS RULES AND WEAK BISIMULATION(Concurrency Theory and Applications '96)
  PHILLIPS, IAIN, ULIDOWSKI, IREK (1997-05)
  数理解析研究所講究録, 996: 195-206
file type icon
Towards Cycle Filling as Parallelization(Concurrency Theory and Applications '96)
  Takayama, Yukihide (1997-05)
  数理解析研究所講究録, 996: 207-221
file type icon
The symbolic model-checking methods for real-time systems(Concurrency Theory and Applications '96)
  Yamane, Satoshi (1997-05)
  数理解析研究所講究録, 996: 222-242
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 20