A Bigraph Relational Model

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Pub Date : 2011-10-01 DOI:10.4204/EPTCS.71.2

Maxime Beauquier, C. Schürmann

引用次数: 1

Abstract

In this paper, we present a model based on relations for bigraphical reactive systems [Milner09]. Its defining characteristics are that validity and reaction relations are captured as traces in a multi-set rewriting system. The relational model is derived from Milner's graphical definition and directly amenable to implementation.

查看原文本刊更多论文

图关系模型

在本文中，我们提出了一个基于关系的图解反应系统模型[Milner09]。其定义特征是在多集重写系统中以迹的形式捕获有效性和反应关系。关系模型来源于米尔纳的图形定义，可以直接实现。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

自引率

0.00%

发文量