Predicting cell adhesion probability via the biochemical stochastic pi-calculus