TESTING EQUIVALENCE AS A BISIMULATION EQUIVALENCE

被引：0
|
作者：
CLEAVELAND, R [1 ]
HENNESSY, M [1 ]
机构：
[1] UNIV SUSSEX, DEPT COMP SCI, BRIGHTON BN1 9QH, E SUSSEX, ENGLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 407卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：11 / 23
页数：13
相关论文
共 50 条
  • [1] Strong splitting bisimulation equivalence
    Bergstra, JA
    Middelburg, CA
    [J]. ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2005, 3629 : 83 - 97
  • [2] Controller synthesis for bisimulation equivalence
    Tabuada, Paulo
    [J]. SYSTEMS & CONTROL LETTERS, 2008, 57 (06) : 443 - 452
  • [3] Equivalence of dynamical systems by bisimulation
    van der Schaft, AJ
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (12) : 2160 - 2172
  • [4] AN IMPLEMENTATION OF AN EFFICIENT ALGORITHM FOR BISIMULATION EQUIVALENCE
    FERNANDEZ, JC
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 13 (2-3) : 219 - 236
  • [5] Behavioural equivalence, bisimulation, and minimal realisation
    Malcolm, G
    [J]. RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 359 - 378
  • [6] AXIOMATISING ST-BISIMULATION EQUIVALENCE
    BUSI, N
    VANGLABBEEK, R
    GORRIERI, R
    [J]. PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 169 - 188
  • [7] Algorithms for Computing Weak Bisimulation Equivalence
    Li, Weisong
    [J]. THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 241 - 248
  • [8] Linking Algebraic Observational Equivalence and Bisimulation
    Berrima, Mouhebeddine
    Ben Rajeb, Narjes
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, 2010, 6224 : 76 - +
  • [9] Approximate Bisimulation Equivalence and Variable Refinement
    Liu, Bai
    Wu, Jinzhao
    Xie, Zhucheng
    [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1959 - 1966
  • [10] An efficient algorithm for computing bisimulation equivalence
    Dovier, A
    Piazza, C
    Policriti, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2004, 311 (1-3) : 221 - 256
12345