INDUCTIVE INFERENCE OF ALGEBRAIC PROCESSES BASED ON HENNESSY-MILNER LOGIC

被引：0

作者：

TOGASHI, A

KIMURA, S

机构：

来源：

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES | 1994年 / E77A卷 / 10期

关键词：

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

共 50 条

[21] Hennessy-Milner properties via topological compactness
de Groot, Jim
Pattinson, Dirk
INFORMATION AND COMPUTATION, 2022, 287
[22] Reachability of Hennessy-Milner properties for weakly extended PRS
Kretínsky, M
Rehák, V
Strejcek, J
FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 213 - 224
[23] Stochastic relations: Congruences, bisimulations and the Hennessy-Milner theorem
Doberkat, EE
SIAM JOURNAL ON COMPUTING, 2006, 35 (03) : 590 - 626
[24] INDUCTIVE INFERENCE OF LOGIC PROGRAMS BASED ON ALGEBRAIC SEMANTICS
SAKAKIBARA, Y
NEW GENERATION COMPUTING, 1990, 7 (04) : 365 - 380
[25] Monitorability for the Hennessy–Milner logic with recursion
Adrian Francalanza
Luca Aceto
Anna Ingolfsdottir
Formal Methods in System Design, 2017, 51 : 87 - 116
[26] Characteristic invariants in Hennessy–Milner logic
Marc Jasper
Maximilian Schlüter
Bernhard Steffen
Acta Informatica, 2020, 57 : 671 - 687
[27] Causal Reasoning for Safety in Hennessy Milner Logic
Caltais, Georgiana
Mousavi, Mohammad Reza
Singh, Hargurbir
FUNDAMENTA INFORMATICAE, 2020, 173 (2-3) : 217 - 251
[28] Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
Stankovic, M. A. R. K. O.
Ciric, M. I. R. O. S. L. A., V
Ignjatovic, J. E. L. E. N. A.
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2022, 39 (2-4) : 341 - 379
[29] The logic of inductive inference
Fisher, RA
JOURNAL OF THE ROYAL STATISTICAL SOCIETY, 1935, 98 : 39 - 82
[30] A FRAMEWORK FOR ICAI SYSTEMS BASED ON INDUCTIVE INFERENCE AND LOGIC PROGRAMMING
KAWAI, K
MIZOGUCHI, R
KAKUSHO, O
TOYODA, J
NEW GENERATION COMPUTING, 1987, 5 (01) : 115 - 129

← 1 2 3 4 5 →