Predicting cell adhesion probability via the biochemical stochastic π-calculus

Authors:
P. Lecca;C. Priami;C. Laudanna;G. Constantin
Affiliations:
Università di Trento via Sommarive, Povo (Trento), Italy;Università di Trento via Sommarive, Povo (Trento), Italy;Università di Verona, Verona, Italy;Università di Verona, Verona, Italy
Venue:
Proceedings of the 2004 ACM symposium on Applied computing
Year:
2004

Citing 1
Cited 2

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus

A core calculus for a comparative analysis of bio-inspired calculi

ESOP'07 Proceedings of the 16th European conference on Programming
π@: a π-based process calculus for the implementation of compartmentalised bio-inspired calculi

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.