A Bigraph Relational Model

Maxime Beauquier, Carsten Schürmann

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Abstract

    In this paper, we present a model based on relations for bigraphical reactive system [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.
    OriginalsprogEngelsk
    TidsskriftElectronic Proceedings in Theoretical Computer Science
    Vol/bind71
    Sider (fra-til)14
    Antal sider28
    ISSN2075-2180
    DOI
    StatusUdgivet - 2011

    Emneord

    • Bigraphical Reactive Systems
    • Multi-set Rewriting
    • Graphical Definition
    • Relational Model
    • Trace-based Validity

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'A Bigraph Relational Model'. Sammen danner de et unikt fingeraftryk.

    Citationsformater