Full abstraction for a resource calculus with tests

Type de document :
Communication dans un congrès
Computer Science Logic, 2011, Bergen, Norway. pp.97-111, 2011, LIPIcs
Liste complète des métadonnées

https://hal.inria.fr/inria-00628886
Contributeur : Antonio Bucciarelli <>
Soumis le : mardi 4 octobre 2011 - 14:29:49
Dernière modification le : jeudi 11 janvier 2018 - 06:17:47

Identifiants

  • HAL Id : inria-00628886, version 1

Collections

PPS | USPC

Citation

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, 2011, LIPIcs. 〈inria-00628886〉

Partager

Métriques

Consultations de la notice

52