The demonic product of probabilistic relations

被引：0
|
作者：
Doberkat, EE [1 ]
机构：
[1] Univ Dortmund, Chair Software Technol, D-44221 Dortmund, Germany
来源：
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS | 2002年 / 2303卷
关键词：
probabilistic relations; bisimulation; demonic product; concurrency;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The demonic product of two probabilistic relations is defined and investigated. It is shown that the product is stable under bisimulations when the mediating object is probabilistic, and that under some mild conditions the non-deterministic fringe of the probabilistic relations behaves properly: the fringe of the product equals the demonic product of the fringes.
引用
收藏
页码：114 / 128
页数：15
相关论文
共 50 条
  • [1] A Demonic Approach to Information in Probabilistic Systems
    Desharnais, Josee
    Laviolette, Francois
    Turgeon, Amelie
    CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 289 - 304
  • [2] Partial correctness for probabilistic demonic programs
    McIver, AK
    Morgan, C
    THEORETICAL COMPUTER SCIENCE, 2001, 266 (1-2) : 513 - 541
  • [3] Lattices of Information for Security: Deterministic, Demonic, Probabilistic
    Morgan, Carroll C.
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 1 - 3
  • [4] Demonic, angelic and unbounded probabilistic choices in sequential programs
    A.K. McIver
    C. Morgan
    Acta Informatica, 2001, 37 : 329 - 354
  • [5] Demonic, angelic and unbounded probabilistic choices in sequential programs
    McIver, AK
    Morgan, C
    ACTA INFORMATICA, 2001, 37 (4-5) : 329 - 354
  • [6] Managing uncertain preferences of consumers in product ranking by probabilistic linguistic preference relations
    Wu, Xingli
    Liao, Huchang
    KNOWLEDGE-BASED SYSTEMS, 2023, 262
  • [7] PROBABILISTIC THEORIES OF RELATIONS
    MENGER, K
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1951, 37 (03) : 178 - 180
  • [8] Probabilistic recurrence relations
    Karp, Richard M., 1600, ACM, New York, NY, United States (41):
  • [9] Probabilistic consequence relations
    Egre, Paul
    Ripley, Ellie
    JOURNAL OF LOGIC AND COMPUTATION, 2025,
  • [10] Probabilistic relevance relations
    Geiger, D
    Heckerman, D
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1998, 28 (01): : 17 - 25
12345