A process algebra model of the cell mechanics of autoreactive lymphocites recruitment