Il Calculus of Looping Sequences (CLS) permette la descrizione dei sistemi biologici e della loro evoluzione. Nell'ambito del lavoro di tesi e' stata sviluppata una estensione del CLS, chiamata Topological CLS (TCLS), dove ad ogni oggetto del sistema biologico sono associate una precisa posizione e dimensione nello spazio. Gli oggetti possono muoversi autonomamente e l'applicabilita' delle regole di riscrittura, che modellano le reazioni tra gli elementi, puo' essere determinata dalle posizioni degli oggetti coinvolti. Infine, alle regole di riscrittura e' associato un parametro che ne specifica la velocita' di reazione.
Il Topological CLS e' stato quindi utilizzato per modellare due esempi di sistemi biologici: il processo di mitosi e il quorum-sensing
