Stochastic Ambient Calculus


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


  • Presentations referencing similar topics