preuve promela traduite

[hdrcouchot.git] / main.tex

diff --git a/main.tex b/main.tex
index da87f229d81d29b568c94e2912e492200512be7f..33a3ba1b69e15e5e583328b8d5dd64b4ad69585c 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -172,7 +172,7 @@ Blabla blabla.
 
 \mainmatter
 
 
 \mainmatter
 

-\part{Réseaux Discrets}
+\part{Réseaux discrets}

 
 \chapter{Iterations discrètes de réseaux booléens}
 
 
 \chapter{Iterations discrètes de réseaux booléens}
 


@@ -182,8 +182,8 @@ les différents modes opératoires, leur représentation à l'aide de
 graphes et les résultats connus de convergence).
 Ce chapitre montre ensuite à la section~\ref{sec:sdd:mixage}
 comment combiner ces modes pour converger aussi 
 graphes et les résultats connus de convergence).
 Ce chapitre montre ensuite à la section~\ref{sec:sdd:mixage}
 comment combiner ces modes pour converger aussi 

-souvent sans, mais plus rapidement. Cette dernière section 
-a fait l'objet du rapport~\cite{BCVC10:ir}.
+souvent, mais plus rapidement vers un point fixe. Les deux 
+dernières sections ont fait l'objet du rapport~\cite{BCVC10:ir}.

 
 \section{Formalisation}\label{sec:sdd:formalisation}
 \input{sdd}
 
 \section{Formalisation}\label{sec:sdd:formalisation}
 \input{sdd}


@@ -339,7 +339,7 @@ du chapitre 8}
 
 \appendix
 
 
 \appendix
 

-\chapter{Preuves sur les SDD}
+\chapter{Preuves sur les réseaux discrets}

 
 \section{Convergence du mode mixe}\label{anx:mix}
 \input{annexePreuveMixage}
 
 \section{Convergence du mode mixe}\label{anx:mix}
 \input{annexePreuveMixage}