Nakata, Akio Deriving parameter conditions for periodic timed automata satisfying real-time temporal logic formulas. (English) Zbl 0991.68522 RIMS Kokyuroku 1205, 160-165 (2001). MSC: 68Q05 68Q60 PDFBibTeX XMLCite \textit{A. Nakata}, RIMS Kokyuroku 1205, 160--165 (2001; Zbl 0991.68522)
Yamamoto, Mitsuharu; Takahashi, Koichi; Hagiya, Masami; Nishizaki, Shin-ya; Tamai, Tetsuo Formal verification of graph search algorithms and its application to model checking. (Japanese) Zbl 0957.68502 RIMS Kokyuroku 1125, 129-141 (2000). MSC: 68Q60 68T20 PDFBibTeX XMLCite \textit{M. Yamamoto} et al., RIMS Kokyuroku 1125, 129--141 (2000; Zbl 0957.68502)
Tomoishi, Masahiko; Yonezaki, Naoki Composable tableau methods for deciding the consistency of differences in specifications. (Japanese) Zbl 0957.68501 RIMS Kokyuroku 1125, 142-149 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Tomoishi} and \textit{N. Yonezaki}, RIMS Kokyuroku 1125, 142--149 (2000; Zbl 0957.68501)
Nii, Yasuhiko; Sakabe, Toshiki The linear context inductive method in algebraic proofs of behavioral equivalence. (Japanese) Zbl 0951.68531 RIMS Kokyuroku 1093, 148-154 (1999). MSC: 68Q60 68Q65 PDFBibTeX XMLCite \textit{Y. Nii} and \textit{T. Sakabe}, RIMS Kokyuroku 1093, 148--154 (1999; Zbl 0951.68531)
Satoh, Ichiro Speed-sensitive orders for communicating processes. (English) Zbl 0942.68568 RIMS Kokyuroku 996, 23-38 (1997). MSC: 68Q10 68Q55 68Q60 PDFBibTeX XMLCite \textit{I. Satoh}, RIMS Kokyuroku 996, 23--38 (1997; Zbl 0942.68568)
Nakata, Akio; Higashino, Teruo; Taniguchi, Kenichi Time-action alternating model for verifying symbolic bisimulation equivalence of timed processes. (English) Zbl 0942.68569 RIMS Kokyuroku 996, 98-110 (1997). MSC: 68Q10 68Q60 PDFBibTeX XMLCite \textit{A. Nakata} et al., RIMS Kokyuroku 996, 98--110 (1997; Zbl 0942.68569)
Phillips, Iain; Ulidowski, Irek Ordered SOS rules and weak bisimulation. (English) Zbl 0942.68567 RIMS Kokyuroku 996, 195-206 (1997). MSC: 68Q10 68Q55 68Q60 PDFBibTeX XMLCite \textit{I. Phillips} and \textit{I. Ulidowski}, RIMS Kokyuroku 996, 195--206 (1997; Zbl 0942.68567)
Yamane, Satoshi The symbolic model-checking methods for real-time systems. (English) Zbl 0942.68625 RIMS Kokyuroku 996, 222-242 (1997). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Yamane}, RIMS Kokyuroku 996, 222--242 (1997; Zbl 0942.68625)
Yuen, Shoji; Sakabe, Toshiki; Inagaki, Yasuyoshi Symbolic alternative characterizations of testing preorder for regular timed processes. (English) Zbl 0947.68057 RIMS Kokyuroku 996, 5-22 (1997). MSC: 68Q10 68Q55 68Q60 PDFBibTeX XMLCite \textit{S. Yuen} et al., RIMS Kokyuroku 996, 5--22 (1997; Zbl 0947.68057)
Kono, Shinji Execution and verification of 2nd order interval temporal logic. (English) Zbl 0947.68092 RIMS Kokyuroku 996, 162-180 (1997). MSC: 68Q60 03B45 03B70 PDFBibTeX XMLCite \textit{S. Kono}, RIMS Kokyuroku 996, 162--180 (1997; Zbl 0947.68092)
Togashi, Atsushi On typing systems for the polyadic \(\pi\)-calculus. (English) Zbl 0948.68124 RIMS Kokyuroku 996, 125-142 (1997). MSC: 68Q85 68Q10 68Q55 68Q60 68P10 PDFBibTeX XMLCite \textit{A. Togashi}, RIMS Kokyuroku 996, 125--142 (1997; Zbl 0948.68124)
Isobe, Yoshinao; Nakada, Hidemoto; Sato, Yutaka; Ohmaki, Kazuhito Stepwise synthesis of partial specifications preserving strong \((\Omega_1,\Omega_2)\)-equivalence. (English) Zbl 0947.68091 RIMS Kokyuroku 996, 39-53 (1997). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{Y. Isobe} et al., RIMS Kokyuroku 996, 39--53 (1997; Zbl 0947.68091)
Usui, Nobuyuki; Kimura, Shigetomo; Togashi, Atsushi; Shiratori, Norio Process composition according to MSC. (Japanese) Zbl 0941.68632 RIMS Kokyuroku 906, 154-161 (1995). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{N. Usui} et al., RIMS Kokyuroku 906, 154--161 (1995; Zbl 0941.68632)
Sakurai, Kouichi; Iwama, Kazuo Demonstrating programs against adversaries. (English) Zbl 0941.68630 RIMS Kokyuroku 906, 170-177 (1995). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. Sakurai} and \textit{K. Iwama}, RIMS Kokyuroku 906, 170--177 (1995; Zbl 0941.68630)
Kimura, Shigetomo; Togashi, Atsushi; Shiratori, Norio Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus. (English) Zbl 0941.68631 RIMS Kokyuroku 906, 146-153 (1995). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Kimura} et al., RIMS Kokyuroku 906, 146--153 (1995; Zbl 0941.68631)
Murakami, Masaki Parallel decomposition of reactive sequential processes using partial evaluation. (Japanese) Zbl 0941.68629 RIMS Kokyuroku 902, 49-63 (1995). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{M. Murakami}, RIMS Kokyuroku 902, 49--63 (1995; Zbl 0941.68629)
Yoshida, Sen; Togashi, Atsushi; Shiratori, Norio Construction of a concurrent support environment for process calculi. (Japanese) Zbl 0941.68627 RIMS Kokyuroku 902, 156-178 (1995). MSC: 68Q60 68Q65 PDFBibTeX XMLCite \textit{S. Yoshida} et al., RIMS Kokyuroku 902, 156--178 (1995; Zbl 0941.68627)
Honda, Kohei; Yoshida, Nobuko On reduction-based process semantics. (English) Zbl 0941.68622 RIMS Kokyuroku 902, 10-25 (1995). MSC: 68Q55 68Q60 PDFBibTeX XMLCite \textit{K. Honda} and \textit{N. Yoshida}, RIMS Kokyuroku 902, 10--25 (1995; Zbl 0941.68622)
Kubo, Makoto Cost graphs for concurrent calculi. (English) Zbl 0941.68576 RIMS Kokyuroku 902, 64-79 (1995). MSC: 68Q10 68Q60 PDFBibTeX XMLCite \textit{M. Kubo}, RIMS Kokyuroku 902, 64--79 (1995; Zbl 0941.68576)
Horita, Eiichi; de Vries, Fer-Jan A fully abstract denotational model for communicating processes with label-passing. (English) Zbl 0941.68626 RIMS Kokyuroku 902, 26-48 (1995). MSC: 68Q60 68Q10 68Q55 PDFBibTeX XMLCite \textit{E. Horita} and \textit{F.-J. de Vries}, RIMS Kokyuroku 902, 26--48 (1995; Zbl 0941.68626)
Kimura, Shigetomo; Togashi, Atsushi; Shiratori, Norio Inductive synthesis of recursive processes from logical properties. (English) Zbl 0941.68628 RIMS Kokyuroku 902, 80-102 (1995). MSC: 68Q60 68T05 PDFBibTeX XMLCite \textit{S. Kimura} et al., RIMS Kokyuroku 902, 80--102 (1995; Zbl 0941.68628)
Takayama, Yukihide Parallelization of concurrent processes in higher-dimensional automata. (English) Zbl 0939.68643 RIMS Kokyuroku 918, 238-252 (1995). MSC: 68Q10 68Q55 68Q60 68Q70 PDFBibTeX XMLCite \textit{Y. Takayama}, RIMS Kokyuroku 918, 238--252 (1995; Zbl 0939.68643)
Mori, Hiroyoshi; Itoh, Toshiya On checkers, self-testers, and self-debuggers. (English) Zbl 0939.68708 RIMS Kokyuroku 871, 138-144 (1994). MSC: 68Q60 68Q15 PDFBibTeX XMLCite \textit{H. Mori} and \textit{T. Itoh}, RIMS Kokyuroku 871, 138--144 (1994; Zbl 0939.68708)