mirage

Parcourir LIP - Laboratoire de l'Informatique du Parallélisme par le sujet "Abstract machine"

Système d'archivage DSpace/Manakin

Parcourir LIP - Laboratoire de l'Informatique du Parallélisme par le sujet "Abstract machine"

Tri par : Ordre : Résultats :

  • 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

Recherche


Recherche avancée

Parcourir

Mon compte

Bookmark and Share