• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>14th International Conference on Concurrency Theory (CONCUR 2003) Sep 3-5, 2003 Marseille, France >Bundle Event Structures and CCSP
【24h】

Bundle Event Structures and CCSP

机译：捆绑事件结构和CCSP

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

摘要

We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that 1. all denotable event structures are bundle event structures, 2. upon adding an infinitary parallel composition all bundle event structures are denotable, 3. without it every finite bundle event structure can be denoted, 4. as well as every countable prime event structure with binary conflict. Up to hereditary history preserving bisimulation equivalence finitary conflict can be expressed in terms of binary conflict. In this setting all countable stable event structures are denotable.
机译：我们研究了可以通过闭合CCS∪CSP表达式表示的事件结构。进行同构，我们发现：1.所有可表示事件结构都是束事件结构； 2.在添加无限平行组合后，所有束事件结构都是可表位的； 3.没有它，每个有限束事件结构都可以表示； 4.同样作为具有二进制冲突的每个可数的主要事件结构。直到遗传史保持双模拟等效性，最终冲突都可以用二元冲突来表示。在这种设置下，所有可计数的稳定事件结构都是可表示的。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号