|
 
|
Liste des publications
2006
-
[KPP06]
C. Kaiser, C. Pajault, J. Pradat-Peyre.
"Modelling remote concurrency with Ada.Case study of symmetric non-deterministic rendez-vous.",
Date de dépot: 2006/01/01,
Nb pages 15p,
(Tech. Rep.: CEDRIC-06-1102)
