-
Determinacy and confluence in concurrent and synchronous process calculi
In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and... -
L'Aisne au fil de l'eau
This dataset has no description
-
Compte rendu de l'ouvrage de Sylvie Grimm-Hamen et Françoise Willmann (Hg.), ...
in Revue d'Allemagne et des pays de langue allemande, tome 42, n° 3, juillet-septembre 2010 -
Le delta du Tonkin
National audience -
Cerro de La Media Luna : Panoramique (3/3)
Photographe : Dominique Michelet
