@book{ff1afddaddc54b0c95795f23a065f0d4,
title = "Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names",
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.",
keywords = "bigraphs, local names, non-linear process mobility",
author = "Mikkel Bundgaard and Thomas Hildebrandt",
year = "2005",
month = sep,
language = "English",
series = "IT University Technical Report Series",
number = "TR-2005-70",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
edition = "TR-2005-70",
}