An inductive characterization of matching in binding bigraphs

Troels C. Damgaard; Arne J. Glenstrup; Lars Birkedal; Robin Milner

首页> 外文期刊>Formal Aspects of Computing >An inductive characterization of matching in binding bigraphs

【24h】

An inductive characterization of matching in binding bigraphs

机译：绑定二部图匹配的归纳表征

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We analyze the matching problem for bigraphs. In particular, we present a sound and complete inductive characterization of matching in bigraphs with binding. Our results yield a specification for a provably correct matching algorithm, as needed by our prototype tool implementing bigraphical reactive systems.

机译：我们分析有向图的匹配问题。特别是，我们提出了具有约束力的有向图匹配的完整，合理的归纳表征。我们的结果产生了可证明正确的匹配算法的规范，这是实现双向反应系统的原型工具所需要的。

著录项

来源
《Formal Aspects of Computing》 |2013年第2期|257-288|共32页
作者
Troels C. Damgaard; Arne J. Glenstrup; Lars Birkedal; Robin Milner;
展开▼
作者单位

IT University of Copenhagen, Rued Langgaards Vej 7,2300 Copenhagen S, Denmark.;

IT University of Copenhagen, Rued Langgaards Vej 7,2300 Copenhagen S, Denmark.;

IT University of Copenhagen, Rued Langgaards Vej 7,2300 Copenhagen S, Denmark.;

The Computer Laboratory, University of Cambridge, Cambridge CB3 OFD, UK.;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
bigraphs; bigraphical reactive systems; matching; complete inductive characterization;

机译：专论双向反应系统;匹配;完整的归纳表征;

相似文献

外文文献
中文文献
专利

1. An inductive characterization of matching in binding bigraphs [J] . Troels C. Damgaard, Arne J. Glenstrup, Lars Birkedal, Formal Aspects of Computing . 2013,第2期

机译：绑定二部图匹配的归纳表征
2. Molecular cloning and characterization of nucleotide binding andTI Molecular cloning and characterization of nucleotide binding and oligomerization domain-1 (NOD1) receptor in the Indian Major Carp, rohu (Labeo rohita), and analysis of its inductive expression and down-stream signalling molecules following ligands exposure and Gram-negative bacterial infections [J] . Swain B, Basu M, Samanta M Fish & Shellfish Immunology . 2012,第5期

机译：分子克隆和核苷酸结合和TI的表征分子克隆和核苷酸结合和低聚域1（NOD1）受体在印度主要鲤鱼（Labeo rohita）中的分子克隆和表征，及其配体后的诱导表达和下游信号分子分析接触和革兰氏阴性细菌感染
3. Software Evolution Rules with Condition Constrains to Support Component Type Matching Based on Bigraph [J] . Chao-Ze Lu, Guo-Sun Zeng, Wen-Juan Liu International journal of software engineering and knowledge engineering . 2018,第10期

机译：基于Bigraph的带条件约束的软件演化规则支持组件类型匹配
4. New Characterizations of Proper Interval Bigraphs and Proper Circular Arc Bigraphs [C] . Ashok Kumar Das, Ritapa Chakraborty International conference on algorithms and discrete applied mathematics . 2015

机译：适当的间隔有向图和适当的圆弧有向图的新特征
5. Surface matching and chemical scoring to detect unrelated proteins binding similar small molecules [D] . Van Voorst, Jeffrey Ryan 2011

机译：表面匹配和化学评分可检测结合相似小分子的无关蛋白质
6. Neuromorphic Systems Design by Matching Inductive Biases to Hardware Constraints [O] . Lorenz K. Muller, Pascal Stark, Bert Jan Offrein, 2020

机译：神经形态系统设计通过将电感偏差与硬件约束匹配
7. Matching of Bigraphs [O] . Birkedal, Lars, Damgaard, Troels Christoffer, Glenstrup, Arne J., 2007

机译：匹配Bigraphs
8. A High Power Inductively Coupled Plasma Torch and Impedance Matching Network [R] . Windsor, D. L., Heine, D. R., Denton, M. B. 1979

机译：高功率电感耦合等离子体炬和阻抗匹配网络

An inductive characterization of matching in binding bigraphs

摘要

著录项

相似文献

相关主题

期刊订阅