您的位置: 专家智库 > >

国家自然科学基金(60225012)

作品数:5 被引量:0H指数:0
相关作者:傅育熙更多>>
相关机构:上海交通大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 4篇期刊文章
  • 1篇会议论文

领域

  • 4篇自动化与计算...
  • 1篇理学

主题

  • 2篇CHI
  • 2篇BISIMU...
  • 2篇ASYMME...
  • 2篇CONGRU...
  • 2篇CALCUL...
  • 1篇同余
  • 1篇同余关系
  • 1篇进程代数
  • 1篇互模拟
  • 1篇公理
  • 1篇归纳法
  • 1篇Π-演算
  • 1篇OPEN
  • 1篇THEORE...
  • 1篇AXI
  • 1篇LATTIC...
  • 1篇LAW
  • 1篇MISMAT...
  • 1篇AXIOMA...
  • 1篇SCHEMA...

机构

  • 2篇上海交通大学

作者

  • 2篇傅育熙
  • 1篇董笑菊

传媒

  • 1篇中国科学(E...
  • 1篇Scienc...
  • 1篇High T...
  • 1篇Journa...

年份

  • 2篇2006
  • 1篇2005
  • 1篇2004
  • 1篇2003
5 条 记 录,以下是 1-5
排序方式:
用进程演算建模生物化学反应过程
<正>1 引言进程演算是一类描述并发系统的形式化模型,可以用来研究具有并发性、移动性、分布性等特点的系统。该类演算在语法上定义了一组操作子, 用以构成其基本研究对象一进程;而语义上则采用交错并发语义,即一个并发执行的进程...
董笑菊倪佳华傅育熙
文献传递
Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch
2003年
This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion. The top of the lattice coincides with the barbed bisimilarity.
董笑菊ZhongFarongFUYuxi
A schematic axiom for open congruence
2005年
A schematic law dealing with localization operator is proposed for pi calculus. It is shown that the law renders the use of distinction unnecessary in the axiomatic theory of open congruence.
FUYuxi
开互模拟的一条泛公理
2004年
π-演算公理化中较难处理的是有关局部化算子的等式,传统的方法是使用带条件的推导规则或使用“区别”.提出一条关于π演算局部化算子的泛公 理,并证明它可在开互模拟的公理化中取代“区别”的作用.本方法的好处是在 公理化过程中我们只要处理一个互模拟,而无须处理一族互模拟.
傅育熙
关键词:Π-演算归纳法进程代数同余关系
Barbed congruence of the asymmetric chi calculus
2006年
The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions: x/x and τ. The investigalion on the barbed bisimilarity shows how the property affects the observational theory. Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimiilarity have changed greatly compared with the chi calculus.Although the definition of the barbed bisimilarity is very simple, the properly of closeness under contexts makes it difficuh to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex, but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the bathed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.
董笑菊傅育熙
关键词:BISIMULATIONAXIOMATIZATION
共1页<1>
聚类工具0