We present a stochastic model of the lymphocyte recruitment in inflammed brain microvessels. We rely on stochastic process algebras for mobile systems. The automatic tool used in the simulation is the biochemical stochastic π-calculus (BioSpi). We show that the model predicts the experimental adhesion probability of the lymphocytes as a function of contact time of the cells with endothelium.
展开▼