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

共 16 条

[1] Maximal Synthesis for Hennessy-Milner Logic
Van Hulst, A. C.
Reniers, M. A.
Fokkink, W. J.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (01)
[2] Strong Forgetting in Hennessy-Milner Logic
Zhou, Xin
Wang, Yisong
Feng, Renyan
Xu, Songhang
THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2024, 2024, 14777 : 465 - 472
[3] Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
Jim de Groot
Studia Logica, 2022, 110 : 717 - 743
[4] Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
de Groot, Jim
STUDIA LOGICA, 2022, 110 (03) : 717 - 743
[5] Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
De Groot, Jim
Pattinson, Dirk
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 161 - 176
[6] Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
Simpson, A
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 (SUPPL.): : 287 - 322
[7] Final coalgebras and the Hennessy-Milner property
Goldblatt, R
ANNALS OF PURE AND APPLIED LOGIC, 2006, 138 (1-3) : 77 - 93
[8] Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
Gebler, Daniel
Fokkink, Wan
CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 395 - 409
[9] A Hennessy-Milner Theorem for ATL with Imperfect Information
Belardinelli, Francesco
Dima, Catalin
Malvone, Vadim
Tiplea, Ferucio
PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 181 - 194
[10] Hennessy-Milner Results for Probabilistic PDL
Gu, Tao
Silva, Alexandra
Zanasi, Fabio
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 352 (352) : 283 - 304

← 1 2 →