Mobile Calculi based on Domains


From Ambients to a routing calculus

X. Guan

Abstract

From a more simplified encoding of $pi$-calculus into pure ambients, we derive a routing calculus which is simple and expressive. While being a direct subset of pure robust ambients, the basic version of this calculus is able to encode $pi$, and simulate D$pi$ to some extent. By adding a primitive that enables mobile agent acquiring the current location name, the calculus is able to give a reasonable and much simpler encoding of D$pi$.

@Unpublished\{guan:ambients-routing-calculus,
  author = \{X. Guan},
  title = \{From Ambients to a routing calculus},
  year = \{2003}, 
  url = \{http://mikado.di.fc.ul.pt/repository/guan_ambients-routing-calculus.pdf}
}


About this site. Last modified: Sun Sep 24 03:38:07 CEST 2017