Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic (Special Section on Net Theory and Its Applications)
スポンサーリンク
概要
- 論文の詳細を見る
This paper considers algebraic basic processes, a subset of communicating processes in CCS by Milner, and presents a synthesis algorithm to infer a process that satisfies the properties of the process, represented as fomulae in Hennessy-Milner Logic. The validity of the proposed algorithm can be stated that it synthesizes a process in the limit, which cannot be distinguished from the target one with respect to the strong equivalence.
- 1994-10-25
著者
-
Togashi Atsushi
Research Institute of Electrical Communication, Tohoku University
-
Kimura Shigetomo
Research Institute of Electrical Communication, Tohoku University
-
Togashi Atsushi
Research Institute Of Electrical Communication Tohoku University
-
Togashi Atsushi
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
Kimura Shigetomo
Research Institute Of Electrical Communication Tohoku University
関連論文
- Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic (Special Section on Net Theory and Its Applications)
- AMLOG : an Amalgamated Equational Logic Programming Language
- A New Approach for Protocol Synthesis Based on LOTOS (Special Section on Net Theory and Its Applications)
- A Support Method for Specification Process Based on LTSs (Special Section on Net Theory and Its Applications)
- A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS(Lambda Calculus and Computer Science Theory)
- Generalized Predicate Completion and its Relation to Circumscription
- A Partial Translation of Default Logic to Circumscription
- Can Completion Entail Circumscription (Sometimes)?
- A Canonical Translation from Higher Order Logic to Typed Lambda Calculus
- Verification and Refinement for System Requirements