Abstract
This paper presents a stochastic model of the lymphocyte recruitment in inflammed brain microvessels. The framework used is based on stochastic process algebras for mobile systems. The automatic tool used in the simulation is the BioSpi. We compare our approach with classical hydrodinamical specifications.