Bigraphs by Example

Troels Christoffer Damgaard, Søren Debois

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

    Abstract

    To gain familiarity with bigraphs and to investigate their modeling capabilities, we model a switch, finite automata, the game of "life'', combinatory logic, term unification and an event-driven system as bigraphical reactive systems.
    Original languageEnglish
    Place of PublicationCopenhagen
    PublisherIT-Universitetet i København
    EditionTR-2005-61
    Number of pages28
    ISBN (Electronic)87-7949-090-5
    Publication statusPublished - Oct 2005
    SeriesIT University Technical Report Series
    NumberTR-2005-61
    ISSN1600-6100

    Fingerprint

    Dive into the research topics of 'Bigraphs by Example'. Together they form a unique fingerprint.

    Cite this