A PROCESS ALGEBRA FOR TIMED SYSTEMS

被引：135
|
作者：
HENNESSY, M
REGAN, T
机构：
[1] University of Sussex, Brighton BNJ 9QH, Falmer
来源：
INFORMATION AND COMPUTATION | 1995年 / 117卷 / 02期
关键词：
D O I：
10.1006/inco.1995.1041
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A standard process algebra is extended by a new action sigma which is meant to denote idling until the next clock cycle. A semantic theory based on testing is developed for the new language. This is characterised in terms of barbs, a variety of ready traces and also characterised as the initial theory generated by a set of equations. (C) 1995 Academic Press. Inc.
引用
收藏
页码：221 / 239
页数：19
相关论文
共 50 条
  • [1] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
  • [2] Process Opacity for Timed Process Algebra
    Gruska, Damas P.
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 151 - 160
  • [3] ABSTRACT TIMED OBSERVATION AND PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 332 - 345
  • [4] Timed Mobility in process algebra and Petri nets
    Ciobanu, Gabriel
    Koutny, Maciej
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (07): : 377 - 391
  • [5] Testing semantics for a probabilistic-timed process algebra
    Gregorio-Rodriguez, C
    Llana-Diaz, L
    Nunez, M
    Palao-Gostanza, P
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 353 - 367
  • [6] Extending timed process algebra with discrete stochastic time
    Markovski, Jasen
    de Vink, Erik P.
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2008, 5140 : 268 - 283
  • [7] A refinement-based process algebra for timed automata
    Cattani, S
    Kwiatkowska, M
    [J]. FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 138 - 159
  • [8] A Model for Real-Time Systems Using Multi-Cost Timed Process Algebra
    Guo, Zhuo
    Qiao, Jianzhong
    Lin, Shukuan
    [J]. PROCEEDINGS OF 2ND CONFERENCE ON LOGISTICS, INFORMATICS AND SERVICE SCIENCE (LISS 2012), VOLS 1 AND 2, 2013,
  • [9] Automatic translation of a timed process algebra into dynamic state graphs
    Pardo, JJ
    Valero, V
    Cuartero, F
    Cazorla, D
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 63 - 70
  • [10] Algebra of timed frames
    Bergstra, JA
    Fokkink, WJ
    Middelburg, CA
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1996, 61 (3-4) : 227 - 255
12345