• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Concurrency Theory(CONCUR 2004); 20040831-20040903; London; GB >Probabilistic Event Structures and Domains
【24h】

Probabilistic Event Structures and Domains

机译：概率事件结构和域

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is localised to cells, where conflict arises; in which case probabilistic independence coincides with causal independence. An application to the semantics of a probabilistic CCS is sketched. An event structure is associated with a domain—that of its configurations ordered by inclusion. In domain theory probabilistic processes are denoted by continuous valuations on a domain. A key result of this paper is a representation theorem showing how continuous valuations on the domain of a confusion-free event structure correspond to the probabilistic event structures it supports. We explore how to extend probability to event structures which are not confusion-free via two notions of probabilistic runs of a general event structure. Finally, we show how probabilistic correlation and probabilistic event structures with confusion can arise from event structures which are originally confusion-free by using morphisms to rename and hide events.
机译：本文研究如何将概率与事件结构联系起来，从而建立概率事件结构模型。以最简单的形式，概率选择局限于发生冲突的单元格；在这种情况下，概率独立与因果独立同时发生。简要介绍了概率CCS语义的应用。事件结构与域相关联-其配置的结构按包含顺序排序。在领域理论中，概率过程由对领域的持续评估来表示。本文的主要结果是一个表示定理，该定理表明无混淆事件结构域上的连续估值如何与其支持的概率事件结构相对应。我们探索如何通过一般事件结构的概率运行的两个概念将概率扩展到并非无混淆的事件结构。最后，我们展示了如何通过使用态射重命名和隐藏事件来从最初无混淆的事件结构中产生概率相关和概率事件结构，从而产生混淆。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号