( en | de | ru )

 

Disambiguation of "Fujii, Mamoru"

Author of the publication

copydeleteadd this publication to your clipboard
A method for verifying liveness of protocols modeled as a class of ECFSM.

, , and . PSTV, volume 1 of IFIP Conference Proceedings, page 287-302. Chapman & Hall, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fumio Fujii

Fumio Fujii

Fumio Fujii

Tadahiko Fujii

Fumio Fujii

 

Other publications of authors with the same name

Verification of progress property of algebraically specified communication protocols., , , , and . Syst. Comput. Jpn., 18 (9): 96-107 (1987)An attribute grammar with common attributes and its evaluator in prolog., , , and . Syst. Comput. Jpn., 19 (6): 97-107 (1988)A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs., , , and . ICDCS, page 290-298. IEEE Computer Society, (1996)Generating Practical Prolog Programs from Attribute Grammars, , , and . IEEE COMPSAC '87, Tokyo, (October 1987)Generalized context-free grammars and multiple context-free grammars., , and . Syst. Comput. Jpn., 20 (7): 43-52 (1989)A method for verifying liveness of protocols modeled as a class of ECFSM., , and . PSTV, volume 1 of IFIP Conference Proceedings, page 287-302. Chapman & Hall, (1994)Optimizations in a Processor of Attribute Grammars, , , and . Papers of Tech. Group, SF20-5. IPS Japan, (1987)The generative power of multiple context-free grammars and head grammars., , , and . Syst. Comput. Jpn., 22 (4): 41-56 (1991)On Multiple Context-Free Grammars., , , and . Theor. Comput. Sci., 88 (2): 191-229 (1991)A Verification Procedure via Invariant for Extended Communicating Finite-State Machines., , , , and . CAV, volume 663 of Lecture Notes in Computer Science, page 384-395. Springer, (1992)