KIMURA Shigetomo
- Conference, etc.
- A synthesizer for algebraic processes
臼井伸幸; 吉田仙; 木村成伴; 富樫敦; 白鳥則郎
__93_496 (COMP93-84)_57-64/1994-03 - A Process Synthesis System and its Prototype
臼井伸幸; 吉田仙; 木村成伴; 富樫敦; 白鳥則郎
__48_5 (3G-3)_23-24/1994-03 - Synthesis Algorithm for Recursive Processes by μ-calculus
木村成伴; 富樫敦; 白鳥則郎
__48_5 (3G-1)_19-20/1994-03 - Synthesis Algorithm for Recursive Processes by μ-calculus
木村成伴; 富樫敦; 白鳥則郎
__93_496 (COMP93-86)_73-80/1994-03 - A design and development of a general system for concurrent process calculi
吉田仙; 木村成伴; 富樫敦; 白鳥則郎
__93_123 (COMP93-23)_27-36/1993-06 - On Convergence of an Inductive Inference Algorithm for Processes
木村成伴; 富樫敦; 野口正一
__91_268 (COMP91-57)_39-48/1991-10 - An Inductive Inference Algorithm of Basic Process by Modal Formulas
木村成伴; 富樫敦; 野口正一
__91_75 (ICS-78-5)_1-10/1991-09 - Implementation of a Support System for the Interpretive Execution of Parallel Processes
木村成伴; 朴美郎; 富樫敦; 野口正一
__90_58 (COMP90-8)_67-76/1990-05
- A synthesizer for algebraic processes