Process algebra with partial choice

被引：0
|
作者：
Baeten, JCM
Bergstra, JA
机构：
[1] UNIV AMSTERDAM, PROGRAMMING RES GRP, 1098 SJ AMSTERDAM, NETHERLANDS
[2] UNIV UTRECHT, DEPT PHILOSOPHY, 3584 CS UTRECHT, NETHERLANDS
来源：
CONCUR '94: CONCURRENCY THEORY | 1994年 / 836卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The objective of this paper is to bridge the gap between ACP and TCSP. To this end, ACP is extended with two non-deterministic choice operators in a setting of bisimulation semantics. With these operators, we can express safety properties of systems without the use of silent steps, and we can verify safety properties in a setting in which no assumption on fairness (or unfairness) has been made.
引用
收藏
页码：465 / 480
页数：16
相关论文
共 50 条
  • [1] Strand Spaces with Choice via a Process Algebra Semantics
    Yang, Fan
    Escobar, Santiago
    Meadows, Catherine
    Meseguer, Jose
    Santiago, Sonia
    PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, : 76 - 89
  • [2] Process semantics of Petri nets over partial algebra
    Desel, J
    Juhás, G
    Lorenz, R
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 146 - 165
  • [3] Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
    Fecher, Harald
    Schmidt, Heiko
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 45 - 60
  • [4] On the Choice of Algebra for Quantization
    Feintzeig, Benjamin H.
    PHILOSOPHY OF SCIENCE, 2018, 85 (01) : 102 - 125
  • [5] THE ALGEBRA OF PARTIAL SETS
    SCHWARTZ, D
    MATHEMATISCHE NACHRICHTEN, 1979, 92 : 91 - 97
  • [6] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
    JEFFREY, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
  • [7] Probabilistic choice in refinement algebra
    Meinicke, Larissa
    Hayes, Ian J.
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2008, 5133 : 243 - +
  • [8] PARTIAL ALGEBRA PLUS ORDER-SORTED ALGEBRA = GALACTIC ALGEBRA
    MEGRELIS, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 314 - 325
  • [9] ‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’
    Flavio Corradini
    Marco Pistore
    Acta Informatica, 2001, 37 : 467 - 509
  • [10] 'Closed interval process algebra' versus 'Interval process algebra'
    Corradini, F
    Pistore, M
    ACTA INFORMATICA, 2001, 37 (07) : 467 - 510
12345