首页    期刊浏览 2024年11月09日 星期六
登录注册

文章基本信息

  • 标题:Graph Algebras for Bigraphs
  • 本地全文:下载
  • 作者:Davide Grohmann ; Marino Miculan
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2010
  • 卷号:29
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:Binding bigraphs are a graphical formalism intended to be a meta-model for mobile, concurrent and communicating systems. In this paper we present an algebra of typed graph terms which correspond precisely to binding bigraphs over a given signature. As particular cases, pure bigraphs and local bigraphs are described by two sublanguages which can be given a simple syntactic characterization. Moreover, we give a formal connection between these languages and Synchronized Hyperedge Replacement algebras and the hierarchical graphs used in Architectural Design Rewriting. This allows to transfer results and constructions among formalisms which have been developed independently, e.g., the systematic definition of congruent bisimulations for SHR graphs via the IPO construction.
国家哲学社会科学文献中心版权所有