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 条
  • [21] Polynomial process algebra
    Liu, Bai
    Wu, Jinzhao
    PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 3004 - 3007
  • [22] Hybrid process algebra
    Cuijpers, PJL
    Reniers, MA
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2005, 62 (02): : 191 - 245
  • [23] Symmetry in process algebra
    Jiang, Jianmin
    Wu, Jinzhao
    Shu, Hongping
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 450 - +
  • [24] Resources in process algebra
    Lee, Insup
    Philippou, Anna
    Sokolsky, Oleg
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 72 (01): : 98 - 122
  • [25] PROCESS ALGEBRA WITH GUARDS
    GROOTE, JF
    PONSE, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 235 - 249
  • [26] Linear Process Algebra
    Pratt, Vaughan
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, 2011, 6536 : 92 - 111
  • [27] Process Algebra as Modelling
    Tofts, Chris
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 323 - 326
  • [28] AN ALGEBRA FOR PROCESS CREATION
    BAETEN, JCM
    VAANDRAGER, FW
    ACTA INFORMATICA, 1992, 29 (04) : 303 - 334
  • [29] A Generic Process Algebra
    Baeten, Jos C. M.
    Bravetti, Mario
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 65 - 71
  • [30] Process algebra in PVS
    Basten, T
    Hooman, J
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 270 - 284
12345