Author of the publication

Generalized context-free grammars and multiple context-free grammars.

, , and . Syst. Comput. Jpn., 20 (7): 43-52 (1989)

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.

 

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)Optimizations in a Processor of Attribute Grammars, , , and . Papers of Tech. Group, SF20-5. IPS Japan, (1987)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)The generative power of multiple context-free grammars and head grammars., , , and . Syst. Comput. Jpn., 22 (4): 41-56 (1991)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 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)Quantifying a design process based on experiments., , , and . J. Syst. Softw., 9 (2): 129-136 (1989)