Conference ProceedingsOPEN ACCESS

A bigraph relational model

Electronic Proceedings in Theoretical Computer Science, EPTCS (2011) 71 14-28
DOI: 10.4204/EPTCS.71.2
1Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

In this paper, we present a model based on relations for bigraphical reactive systems [7]. 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.

Cite

CITATION STYLE

APA

Beauquier, M., & Schürmann, C. (2011). A bigraph relational model. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 71, pp. 14–28). Open Publishing Association. https://doi.org/10.4204/EPTCS.71.2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free