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.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Atsushi TOGASHI, Shigetomo KIMURA, "Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic" in IEICE TRANSACTIONS on Fundamentals,
vol. E77-A, no. 10, pp. 1594-1601, October 1994, doi: .
Abstract: 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e77-a_10_1594/_p
Copy
@ARTICLE{e77-a_10_1594,
author={Atsushi TOGASHI, Shigetomo KIMURA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic},
year={1994},
volume={E77-A},
number={10},
pages={1594-1601},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1594
EP - 1601
AU - Atsushi TOGASHI
AU - Shigetomo KIMURA
PY - 1994
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E77-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1994
AB - 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.
ER -