Skip to Main content Skip to Navigation

Étude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire

Abstract : In this thesis, we propose a formal language, the gk-calcul, stemming from the family of process algebra. This language contrasts in particular with the usual concurrent languages by the lack of dissymmetry traditionally considered between senders and receivers. This point of view entitles to see interactions between elements of the language as collision phenomena. This approach is convenient for the study of self-organisation which the first part of the thesis is devoted to.

The problem is that of the concurrent and distributed construction of abstract geometrical forms (trees and graphs) as well as more generic phenomena described as transfer of information in systems based on graph rewriting rules. Those systems may come along with a hierarchical structure in the aim of applying those techniques in the context of molecular biology. This first part is presented together with an implementation in Ocaml which simulates an algorithm for self-assembling graphs.

In a second step, we develop a subset of the former language by adding a notion of membranes and interactions between membranes to a version restricted to binary interactions. This new language turns out to be suitable for describing a simplified qualitative version of the molecular biology based on interactions between proteins and membranes. This part focuses on showing the descriptive value of this new language by means of some examples and explores relevant definitions of equivalences between biological solutions.
Document type :
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Fabien Tarissan Connect in order to contact the contributor
Submitted on : Friday, June 1, 2007 - 12:23:05 PM
Last modification on : Saturday, June 25, 2022 - 8:46:50 PM
Long-term archiving on: : Thursday, April 8, 2010 - 6:39:57 PM


  • HAL Id : tel-00151001, version 1



Fabien Tarissan. Étude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire. Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. ⟨tel-00151001⟩



Record views


Files downloads