未找到相关数据
INDUCTIVE INFERENCE OF ALGEBRAIC PROCESSES BASED ON HENNESSY-MILNER LOGIC
被引：0
作者：
TOGASHI, A
KIMURA, S
机构：
来源：
关键词：
INDUCTIVE INFERENCE;
ALGEBRAIC PROCESS;
CCS;
HENNESSY-MILNER LOGIC;
BISIMULATION;
PROCESS CALCULUS;
PROCESS ALGEBRA;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：1594 / 1601
页数：8
相关论文