KIMURA Shigetomo
- Articles
- Inductive Inference of Algebraic Processes based on Hennessy-Milner Logic
Atsushi Togashi; Shigetomo Kimura
IEICE Transactions on Fundamentals of Electronics, Communictions and Computer Sciences/E77(A-10)/p.1594-1601, 1994-10 - Synthesis Algorithm for Recursive Processes by μ-calculus
Shigetomo Kimura; Atsushi Togashi; and Norio Shiratori
Lecture Notes in Artificial Intelligence/(872)/p.379-394, 1994-01 - Synthesis of Algebraic Processes Based Process Enumeration
木村成伴; 富樫敦; 野口正一
The Transaction of The IEICE/J75-D-I(12)/p.1132-1143, 1992-12 - A Synthesis Algorithm of Bosic Processes by Modal Formulas
木村成伴; 富樫敦; 野口正一
The Transaction of The IEICE/J75-D-I(11)/p.1048-1061, 1992-11
- Inductive Inference of Algebraic Processes based on Hennessy-Milner Logic