• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>First International Workshop on Computational Methods in Systems Biology CMSB 2003, Feb 24-26, 2003, Rovereto, Italy >Graphs for Core Molecular Biology
【24h】

Graphs for Core Molecular Biology

机译：核心分子生物学图

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

摘要

A graphic language―the graphic K calculus―modeling protein interactions at the domain level is introduced. Complexation, activation and mixed forms of interaction axe expressed as graph rewriting rules. A compilation in a low-level graph rewriting calculus, called mobile κ, is given and shown to be correct up to some suitable notion of observational equivalence. This intermediate language is of independent interest and can be easily implemented in π-like calculi.
机译：介绍了在域级别建模蛋白质相互作用的图形语言（图形K演算）。交互作用的复杂性，激活性和混合形式以图形重写规则表示。给出了称为移动κ的低级图重写演算的汇编，并证明在某些适当的观测等效概念上是正确的。这种中间语言具有独立的意义，可以很容易地在π型演算中实现。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号