Skip to Main content Skip to Navigation
Theses

É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 :
Theses
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00151001
Contributor : Fabien Tarissan <>
Submitted on : Friday, June 1, 2007 - 12:23:05 PM
Last modification on : Saturday, March 28, 2020 - 2:08:26 AM
Long-term archiving on: : Thursday, April 8, 2010 - 6:39:57 PM

Identifiers

  • HAL Id : tel-00151001, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

171

Files downloads

177