Umedu, Takaaki; Terashima, Yoshiki; Yasumoto, Keiichi; Nakata, Akio; Higashino, Teruo; Taniguchi, Kenichi A language for describing wireless mobile applications with dynamic establishment of multi-way synchronization channels. (English) Zbl 1064.68520 Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 607-624 (2002). MSC: 68M14 68M10 68N20 PDFBibTeX XMLCite \textit{T. Umedu} et al., Lect. Notes Comput. Sci. 2391, 607--624 (2002; Zbl 1064.68520) Full Text: Link
Shibata, Naoki; Okano, Kozo; Higashino, Teruo; Taniguchi, Kenichi A decision algorithm for prenex normal form rational Presburger sentences based on combinatorial geometry. (English) Zbl 0960.68175 Calude, C. S. (ed.) et al., Combinatorics, computation & logic. Proceedings of DMTCS ’99 and CATS ’99. Auckland, New Zealand, January 18-21, 1999. Singapore: Springer. Aust. Comput. Sci. Commun. 21, 3, 344-359 (1999). MSC: 68W05 PDFBibTeX XMLCite \textit{N. Shibata} et al., in: Combinatorics, computation \& logic. Proceedings of DMTCS '99 and CATS '99. Auckland, New Zealand, January 18--21, 1999. Singapore: Springer. 344--359 (1999; Zbl 0960.68175)
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)
Hattori, Satoshi; Okano, Kozo; Higashino, Teruo; Taniguchi, Kenichi Modular confluence of conditional term rewriting systems with extra variables in right-hand sides. (English) Zbl 0925.68272 RIMS Kokyuroku 950, 160-166 (1996). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Hattori} et al., RIMS Kokyuroku 950, 160--166 (1996; Zbl 0925.68272)
Nakata, Akio; Higashino, Teruo; Taniguchi, Kenichi Timed bisumulation equivalence verification methods and avoid state explosion due to time values. (Japanese) Zbl 0925.68175 RIMS Kokyuroku 950, 200-206 (1996). MSC: 68Q10 68Q55 PDFBibTeX XMLCite \textit{A. Nakata} et al., RIMS Kokyuroku 950, 200--206 (1996; Zbl 0925.68175)
Hattori, Satoshi; Okano, Kozo; Higashino, Teruo; Taniguchi, Kenichi Term rewriting systems that can specify the valuation order of partial terms, and their properties. (Japanese) Zbl 0939.68667 RIMS Kokyuroku 833, 69-79 (1993). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Hattori} et al., RIMS Kokyuroku 833, 69--79 (1993; Zbl 0939.68667)