Laboratoire de l'informatique du parallélisme; Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide
(2004-12)
(eng) Safe Ambients (SA) are a variant of the Ambient Calculus (AC) in which types can be used to avoid certain forms of interferences among processes called