Stochastic Ambient Calculus

Abstract

Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We present the stochastic version of Mobile Ambients, called Stochastic Mobile Ambients (SMA), where we extend MA with time and probabilities. Inspired by previous models, PEPA and Sπ, we… (More)
DOI: 10.1016/j.entcs.2006.07.018

1 Figure or Table

Topics

  • Presentations referencing similar topics