A BioSpi model of lymphocyte-endothelial interactions in inflamed brain venules.
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.
Dipartimento di Informatica e Telecomunicazioni, Università di Trento. lecca@science.unitn.it
P
P
Lecca
C
C
Priami
C
C
Laudanna
G
G
Constantin
D000818:Animals; D001921:Brain / Q000098:blood supply*; D002448:Cell Adhesion; D019295:Computational Biology; D003198:Computer Simulation; D004730:Endothelium, Vascular / Q000473:pathology / Q000502:physiology; D006801:Humans; D007249:Inflammation / Q000473:pathology / Q000503:physiopathology; D007700:Kinetics; D036904:Leukocyte Rolling; D008214:Lymphocytes / Q000502:physiology*; D008954:Models, Biological; D013269:Stochastic Processes; D014699:Venules / Q000473:pathology / Q000503:physiopathology