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 条
  • [21] Product of binary relations
    Finta, Bela
    PROCEEDINGS OF THE EUROPEAN INTEGRATION: BETWEEN TRADITION AND MODERNITY, VOL 2, 2007, : 690 - 692
  • [22] 'CROW' + HUGHES,TED DEMONIC FORCE - A MYTHOLOGY OF THE DEMONIC
    FERNANDEZ, CV
    MODERN POETRY STUDIES, 1975, 6 (02): : 144 - 156
  • [23] PROBABILISTIC COMMUNICATION COMPLEXITY OF BOOLEAN RELATIONS
    RAZ, R
    WIGDERSON, A
    30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 1989, : 562 - 567
  • [24] Probabilistic relations for the Solitaire keystream generator
    Pudovkina, M
    ADVANCES IN NETWORK AND DISTRIBUTED SYSTEMS SECURITY, 2001, 78 : 61 - 73
  • [25] BETWEENNESS RELATIONS IN PROBABILISTIC METRIC SPACES
    MOYNIHAN, R
    SCHWEIZER, B
    PACIFIC JOURNAL OF MATHEMATICS, 1979, 81 (01) : 175 - 196
  • [26] Relations and quantizations in the category of probabilistic bundles
    Jakobsen, P
    Lychagin, V
    ACTA APPLICANDAE MATHEMATICAE, 2004, 82 (03) : 269 - 308
  • [27] Relations and Quantizations in the Category of Probabilistic Bundles
    Per Jakobsen
    Valentin Lychagin
    Acta Applicandae Mathematica, 2004, 82 : 269 - 308
  • [28] The solution of linear probabilistic recurrence relations
    Bazzi, L
    Mitter, S
    ALGORITHMICA, 2003, 36 (01) : 41 - 57
  • [29] A study on the transitivity of probabilistic and fuzzy relations
    Martinetti, D.
    Montes, I.
    Diaz, S.
    Montes, S.
    FUZZY SETS AND SYSTEMS, 2011, 184 (01) : 156 - 170
  • [30] The Solution of Linear Probabilistic Recurrence Relations
    Algorithmica, 2003, 36 : 41 - 57
12345