Article thumbnail
Location of Repository

Bigraphical semantics of higher-order mobile embedded resources with local names

By Mikkel Bundgaard and A Phd Dissertation


ii This PhD dissertation develops a formal model and theory for reasoning about mobile and distributed systems. In particular, we consider systems consisting of mobile computing devices containing mobile computations, where both kinds of entities can move between locations and where the entities can contain local information. We begin by presenting a process calculus that focuses on the following key concepts: linear and non-linear process-passing; named, nested locations; and local names. These concepts are well-known and well-understood in the ‘concurrency and mobility ’ community, but the combination of them proposes new challenges. In particular, scope extension across location boundaries requires special care. We call the process calculus Higher-Order Mobile Embedded Resources and abbreviate it Homer. We examine the expressive power of Homer and whether name-passing can be a derived notion in Homer by giving an encoding of the synchronous π-calculus in Homer. The encoding establishes that process-passing together with mobile resources in, possibly local, name

Publisher: Elsevier
Year: 2006
DOI identifier: 10.1016/j.entcs.2005.03.029
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.