A Spatial Equational Logic for the Applied pi-calculus

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

Citation

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

Partager

Métriques

Consultations de la notice

58