We created a computer model based on stochastic process algebras for mobile systems able to simulate the processes involved in lymphocyte recruitment in inflamed brain microvessels.