A Bigraph Reactive Systems Realtion Model

Maxime Beauquier, Carsten Schürmann

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

    Abstract

    In this paper, we present a model based on relations for bigraphical reactive systems. 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.
    Original languageEnglish
    Place of PublicationCopenhagen
    PublisherIT-Universitetet i København
    EditionTR 2010-126
    Number of pages20
    ISBN (Electronic)9788779492158
    Publication statusPublished - 2010
    SeriesIT University Technical Report Series
    NumberTR 2010-126
    ISSN1600-6100

    Fingerprint

    Dive into the research topics of 'A Bigraph Reactive Systems Realtion Model'. Together they form a unique fingerprint.

    Cite this