Logical Programming for the Telegram Analysis Problem. - Koji Torii; Yuji Sugiyama; Mamoru Fujii; Tadao Kasami; Yoshitomi Morisawa (Comput. Lang., 1987)

Verification of progress property of algebraically specified communication protocols. - Teruo Higashino; Kenichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori (Syst. Comput. Jpn., 1987)

An attribute grammar with common attributes and its evaluator in prolog. - An Feng; Yuji Sugiyama; Mamoru Fujii; Koji Torii (Syst. Comput. Jpn., 1988)

Quantifying a design process based on experiments. - Hideo Kudo; Yuji Sugiyama; Mamoru Fujii; Koji Torii (J. Syst. Softw., 1989)

Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. - Teruo Higashino; Mamoru Fujii; Kenichi Taniguchi; Tadao Kasami; Masaaki Mori (Syst. Comput. Jpn., 1989)

Membership problem for head languages and multiple context-free languages. - Tadao Kasami; Hiroyuki Seki; Mamoru Fujii (Syst. Comput. Jpn., 1989)

Generalized context-free grammars and multiple context-free grammars. - Tadao Kasami; Hiroyuki Seki; Mamoru Fujii (Syst. Comput. Jpn., 1989)

The generative power of multiple context-free grammars and head grammars. - Takashi Matsumura; Hiroyuki Seki; Mamoru Fujii; Tadao Kasami (Syst. Comput. Jpn., 1991)

On Multiple Context-Free Grammars. - Hiroyuki Seki; Takashi Matsumura; Mamoru Fujii; Tadao Kasami (Theor. Comput. Sci., 1991)

An Algebraic Method For Verifying Progress Property of Communication Protocols. - Teruo Higashino; Kenichi Taniguchi; Tadao Kasami; Mamoru Fujii; Masaaki Mori (Software Science and Engineering, 1991)

A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. - Masahiro Higuchi; Osamu Shirakawa; Hiroyuki Seki; Mamoru Fujii; Tadao Kasami (CAV, 1992)

A method for verifying liveness of protocols modeled as a class of ECFSM. - Masahiro Higuchi; S. Sugawa; Mamoru Fujii (PSTV, 1994)

A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. - Masahiro Higuchi; Junko Sano; Keigo Hara; Mamoru Fujii (ICDCS, 1996)