Sciweavers

Share
130 search results - page 1 / 26
» Stochastic Ambient Calculus
Sort
View
ENTCS
2006
140views more  ENTCS 2006»
9 years 3 months ago
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 pres...
Maria Grazia Vigliotti, Peter G. Harrison
PACT
2007
Springer
9 years 10 months ago
A Stochastic Semantics for BioAmbients
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...
Linda Brodo, Pierpaolo Degano, Corrado Priami
ACSD
2008
IEEE
130views Hardware» more  ACSD 2008»
9 years 10 months ago
BAM: BioAmbient machine
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
Vinod A. Muganthan, Andrew Phillips, Maria Grazia ...
CMSB
2009
Springer
9 years 10 months ago
Dynamic Compartments in the Imperative pi-Calculus
Dynamic compartments with mutable conīŦgurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
Mathias John, Cédric Lhoussaine, Joachim Ni...
IFIPTCS
2000
9 years 7 months ago
An Asynchronous, Distributed Implementation of Mobile Ambients
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
Cédric Fournet, Jean-Jacques Lévy, A...
books