Communication Dans Un Congrès
Année : 2011
Antonio Bucciarelli : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00628886
Soumis le : mardi 4 octobre 2011-14:29:49
Dernière modification le : vendredi 24 mars 2023-14:52:54
Dates et versions
Identifiants
- HAL Id : inria-00628886 , version 1
Citer
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto. Full abstraction for a resource calculus with tests. Computer Science Logic, 2011, Bergen, Norway. pp.97-111. ⟨inria-00628886⟩
Collections
30
Consultations
0
Téléchargements