Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions:

Remyelination process: case study description and complete MELA model

Process algebra MELA: complete semantics