Communicating Finite-State Machines and Two-Variable Logic

被引：1
|
作者：
Bollig, Benedikt [1 ,2 ]
Fortin, Marie [1 ,2 ]
Gastin, Paul [1 ,2 ]
机构：
[1] Univ Paris Saclay, LSV, CNRS, Paris, France
[2] Univ Paris Saclay, ENS Paris Saclay, Paris, France
来源：
35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018) | 2018年 / 96卷
关键词：
Communicating Finite-state Machines; MSO logic; Message Sequence Charts; AUTOMATA;
D O I：
10.4230/LIPIcs.STACS.2018.17
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Communicating finite-state machines are a fundamental, well-studied model of finite-state processes that communicate via unbounded first-in first-out channels. We show that they are expressively equivalent to existential MSO logic with two first-order variables and the order relation.
引用
收藏
页数：14
相关论文
共 50 条
  • [31] POLYNOMIAL REPRESENTATION OF FINITE-STATE MACHINES
    HUNT, BR
    IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (01): : 94 - &
  • [32] Model matching for finite-state machines
    Di Benedetto, MD
    Sangiovanni-Vincentelli, A
    Villa, T
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (11) : 1726 - 1743
  • [33] In vitro implementation of finite-state machines
    Garzon, M
    Gao, Y
    Rose, JA
    Murphy, RC
    Deaton, R
    Franceschetti, DR
    Stevens, SE
    AUTOMATA IMPLEMENTATION, 1998, 1436 : 56 - 74
  • [34] Abstractions of random finite-state machines
    Oikonomou, KN
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 18 (03) : 171 - 207
  • [35] CHEMICAL IMPLEMENTATION OF FINITE-STATE MACHINES
    HJELMFELT, A
    WEINBERGER, ED
    ROSS, J
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1992, 89 (01) : 383 - 387
  • [36] Abstractions of Random Finite-State Machines
    Kostas N. Oikonomou
    Formal Methods in System Design, 2001, 18 : 171 - 207
  • [37] Training Linear Finite-State Machines
    Ardakani, Arash
    Ardakani, Amir
    Gross, Warren J.
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
  • [38] Product Construction of Finite-State Machines
    Hsieh, Samuel C.
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 141 - 143
  • [39] CASCADE SYNTHESIS OF FINITE-STATE MACHINES
    ZEIGER, HP
    INFORMATION AND CONTROL, 1967, 10 (04): : 419 - &
  • [40] On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
    Kieronski, Emanuel
    Tendera, Lidia
    24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 123 - +
12345