A Spatial Equational Logic for the Applied pi-calculus

Jules Villard 1 Etienne Lozes 1 Ralf Treinen 2
1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 PPS - Preuves, Programmes et Systèmes
Type de document :
Rapport
[Research Report] 2008
Liste complète des métadonnées
https://hal.inria.fr/inria-00524786
Contributeur : Ralf Treinen <>
Soumis le : vendredi 8 octobre 2010 - 17:22:25
Dernière modification le : jeudi 11 janvier 2018 - 06:20:13

Identifiants

  • HAL Id : inria-00524786, version 1

Collections

ENS-CACHAN | PPS | LARA | USPC

Citation

Jules Villard, Etienne Lozes, Ralf Treinen. A Spatial Equational Logic for the Applied pi-calculus. [Research Report] 2008. 〈inria-00524786〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

59

Contact


archive-ouverte@inria.fr