Rapport
(Rapport De Recherche)
Année : 2008
Ralf Treinen : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00524786
Soumis le : vendredi 8 octobre 2010-17:22:25
Dernière modification le : vendredi 24 mars 2023-14:52:53
Dates et versions
Identifiants
- HAL Id : inria-00524786 , version 1
Citer
Jules Villard, Etienne Lozes, Ralf Treinen. A Spatial Equational Logic for the Applied pi-calculus. [Research Report] 2008. ⟨inria-00524786⟩
Collections
55
Consultations
0
Téléchargements