Process algebra with propositional signals

被引：28
|
作者：
Baeten, JCM
Bergstra, JA
机构：
[1] UNIV AMSTERDAM, PROGRAMMING RES GRP, NL-1098 SJ AMSTERDAM, NETHERLANDS
[2] UNIV UTRECHT, DEPT PHILOSOPHY, NL-3584 CS UTRECHT, NETHERLANDS
来源：
THEORETICAL COMPUTER SCIENCE | 1997年 / 177卷 / 02期
关键词：
D O I：
10.1016/S0304-3975(96)00253-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We consider processes that have transitions labeled with atomic actions, and states labeled with formulas over a propositional logic. These state labels are called signals. A process in a parallel composition may proceed conditionally, dependent on the presence of a signal in the process in parallel. This allows a natural treatment of signal observation.
引用
收藏
页码：381 / 405
页数：25
相关论文
共 50 条
  • [1] Contradiction-Tolerant Process Algebra with Propositional Signals
    Bergstra, J. A.
    Middelburg, C. A.
    [J]. FUNDAMENTA INFORMATICAE, 2017, 153 (1-2) : 29 - 55
  • [2] FUNCTION ALGEBRA AND PROPOSITIONAL CALCULUS
    LERCHER, B
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 272 - &
  • [3] AN ALGEBRA RELATED WITH A PROPOSITIONAL CALCULUS
    ISEKI, K
    [J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (01): : 26 - &
  • [4] Digitalization of Propositional Algebra and NPC
    Serdyukova, Natalia A.
    Serdyukov, Vladimir, I
    [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KSE 2021), 2021, 192 : 1471 - 1483
  • [5] A RELATIONAL ALGEBRA FOR PROPOSITIONAL LOGIC
    BLANNING, RW
    [J]. DECISION SUPPORT SYSTEMS, 1994, 11 (02) : 211 - 218
  • [6] Propositional content in signals
    Skyrms, Brian
    Barrett, Jeffrey A.
    [J]. STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE PART C-STUDIES IN HISTORY AND PHILOSOPHY OF BIOLOGICAL AND BIOMEDICAL SCIENCES, 2019, 74 : 34 - 39
  • [7] Propositional Algebra P1
    Abe, Jair Minoro
    Nakamatsu, Kazumi
    Akama, Seiki
    Filho, Joao I. S.
    [J]. INTELLIGENT DECISION TECHNOLOGIES, 2015, 39 : 1 - 10
  • [8] A propositional programming environment for linear algebra
    Srebrny, Marian
    Stepien, Lidia
    [J]. FUNDAMENTA INFORMATICAE, 2007, 81 (1-3) : 325 - 345
  • [9] Analysing Mutual Exclusion using Process Algebra with Signals
    Dyseryn, Victor
    van Glabbeek, Rob
    Hofner, Peter
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (255): : 18 - 34
  • [10] An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus
    Laita, LM
    deLedesma, L
    RoanesLozano, E
    RoanesMacias, E
    [J]. INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 255 - 263
12345