Process Algebra Approach to Reasoning About Concurrent Actions

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户：dizenxu

【摘要】

：

A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and weak bisimilarity in the process algebra fo

【作者】

：

Yuan Feng Ming-Sheng Ying

【机构】

：

State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Techn

【出处】

：

计算机科学技术学报(英文版)

【发表日期】

：

2004年期

【关键词】

：

process global store constraint set bisimulation

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and weak bisimilarity in the process algebra for reasoning about concurrent actions are presented.

其他文献

中国证券投资者保护相关问题研究——基于监管的角度

证券投资者保护无论在理论还是在实践上都是一个历久弥新的研究课题，一个与证券市场相伴始终的永恒主题。证券投资者是证券市场上的重要活动主体，是证券市场的生命力和活力所在

学位

证券投资者股东权益保护历史演变优化设计

A Framed Temporal Logic Programming Language

We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is also presented, using which a synchronizat

期刊

temporal logictemporal logic programmingframeprojectionconcurrency

聚焦中职学前教育生物学教材中的“菌类”

本文通过对荣华二采区10

期刊

Genetic Analysis and QTL Mapping of Mature Seed Culturability in Indica Rice

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥

期刊

indica riceculturabilityQTL mappingmature seed

Regular Disjunction-Free Default Theories

In this paper, the class of regular disjunction-free default theories is introduced and investigated.A transformation from regular default theories to normal de

期刊

regular disjunction-free default logicextensiondefault reasoningalgorithmcom

Towards a Theory of Bisimulation for the Higher-Order Process Calculi

In this paper, a labelled transition semantics for higher-order process calculi is studied. The labelled transition semantics is relatively clean and simple, an

期刊

higher-order processlabelled transition semanticsbarbed bisimulationcontext-b

现代物流与国际化网络优化研究——基于中国五矿物流集团的战略思考

物流业作为新兴复合型服务产业，是国民经济的重要组成部分，在促进产业结构调整、转变经济发展方式和增强国民经济竞争力等方面发挥着重要作用。短短几十年历史，物流业已完成了从

学位

现代物流业国际化网络优化产业政策战略管理

美国邦龙TM鱼蛋白有机肥在玫瑰香葡萄上的应用

期刊

美国邦龙TM鱼蛋白有机肥玫瑰香葡萄应用效果

对行高危经皮冠状动脉介入治疗的患者给予最佳剂量糖蛋白IIb/IIIa受体拮抗剂后血小板功能抑制程度的变异

The Ultegra Rapid Platelet Function Assay was used to measure the inhibition of platelet aggregation at baseline and 10 minutes and 8 hours after starting thera

期刊

血小板功能最佳剂量受体拮抗剂冠状动脉抑制程度阿昔单抗替罗非班依替巴肽介入治疗变异

服务业国际转移方式与中国服务业发展研究

随着经济全球化的不断深入，在发达国家和地区大规模地向具有劳动力数量和成本优势的发展中国家进行制造业转移后，以服务业FDI和离岸服务外包为主要方式的新一轮服务业产业转移

学位

服务业产业转移对外直接投资政策环境

Process Algebra Approach to Reasoning About Concurrent Actions

其他学术论文