EQUIVALENCES, CONGRUENCES, AND COMPLETE AXIOMATIZATIONS FOR PROBABILISTIC PROCESSES

被引：0
|
作者：
JOU, CC
SMOLKA, SA
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 458卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：367 / 383
页数：17
相关论文
共 50 条
  • [1] A hierarchy of equivalences for probabilistic processes
    Nunez, Manuel
    Llana, Luis
    [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 267 - 282
  • [2] EFFICIENT ALGORITHMS FOR VERIFICATION OF EQUIVALENCES FOR PROBABILISTIC PROCESSES
    CHRISTOFF, L
    CHRISTOFF, I
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 310 - 321
  • [3] Axiomatizations for probabilistic bisimulation
    Bandini, E
    Segala, R
    [J]. AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 370 - 381
  • [4] TESTING EQUIVALENCES AND FULLY ABSTRACT MODELS FOR PROBABILISTIC PROCESSES
    CHRISTOFF, I
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 126 - 140
  • [5] Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
    Bernardo, Marco
    De Nicola, Rocco
    Loreti, Michele
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 195 - 209
  • [6] REVISITING TRACE AND TESTING EQUIVALENCES FOR NONDETERMINISTIC AND PROBABILISTIC PROCESSES
    Bernardo, Marco
    De Nicola, Rocco
    Loreti, Michele
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (01)
  • [7] The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
    Bernardo, Marco
    De Nicola, Rocco
    Loreti, Michele
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117): : 81 - 96
  • [8] Open maps, behavioural equivalences, and congruences
    Cheng, A
    Nielsen, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1998, 190 (01) : 87 - 112
  • [9] EQUIVALENCES AND CONGRUENCES ON INFINITE CONWAY GAMES
    Honsell, Furio
    Lenisa, Marina
    Redamalla, Rekha
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2012, 46 (02): : 231 - 259
  • [10] Pi-congruences as CCS equivalences
    Quaglia, P
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 358 - 372
12345