Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names

Mikkel Bundgaard, Thomas Hildebrandt

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

    Abstract

    Bigraphs have been introduced with the aim to provide a topographical meta-model for mobile, distributed agents that can manipulate their own linkages and nested locations, generalising both characteristics of the pi-calculus and the Mobile Ambients calculus. We give the first bigraphical presentation of a non-linear, higher-order process calculus with nested locations, non-linear active process mobility, and local names, the calculus of Higher-Order Mobile Embedded Resources (Homer). The presentation is based on Milner's recent presentation of the lambda-calculus in local bigraphs. The combination of non-linear active process mobility and local names requires a new definition of parametric reaction rules and a representation of the location of names. We suggest localised bigraphs as a generalisation of local bigraphs in which links can be further localised.
    Original languageEnglish
    Place of PublicationCopenhagen
    PublisherIT-Universitetet i København
    EditionTR-2005-70
    Number of pages44
    ISBN (Electronic)87-7949-104-9
    Publication statusPublished - Sept 2005
    SeriesIT University Technical Report Series
    NumberTR-2005-70
    ISSN1600-6100

    Keywords

    • bigraphs
    • local names
    • non-linear process mobility

    Fingerprint

    Dive into the research topics of 'Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names'. Together they form a unique fingerprint.

    Cite this