• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>13th International Conference on CONCUR 2002 - Concurrency Theory, Aug 20-23, 2002, Brno, Czech Republic >Event-State Duality: The Enriched Case
【24h】

Event-State Duality: The Enriched Case

机译：事件状态二元性：丰富的案例

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

摘要

Enriched categories have been applied in the past to both event-oriented true concurrency models and state-oriented information systems, with no evident relationship between the two. Ordinary Chu spaces expose a natural duality between partially ordered temporal spaces (pomsets, event structures), and partially ordered information systems. Barr and Chu's original definition of Chu spaces however was for the general V-enriched case, with ordinary Chu spaces arising for V = Set (equivalently V = Pos at least for biextensional Chu spaces). We extend time-information duality to the general enriched case, and apply it to put on a common footing event structures, higher-dimensional automata (HDAs), a cancellation-based approach to branching time, and other models treatable by enriching either event (temporal) space or state (information) space.
机译：过去，将丰富的类别应用于面向事件的真正并发模型和面向状态的信息系统，两者之间没有明显的关系。普通Chu空间暴露了部分有序的时间空间（词组，事件结构）和部分有序的信息系统之间的自然对偶。然而，Barr和Chu最初对Chu空间的定义是针对一般的V富集情况，对于V = Set（至少对于双扩展Chu空间，等效为V = Pos）产生了普通Chu空间。我们将时间信息对偶性扩展到一般情况下的情况，并将其应用于常见的立足事件结构，高维自动机（HDA），基于分支时间的基于抵消的方法，以及可以通过丰富任何一个事件进行处理的其他模型（时间）空间或状态（信息）空间。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号