Skip to Main content Skip to Navigation
Reports

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
Document type :
Reports
Complete list of metadata
https://hal.inria.fr/inria-00524786
Contributor : Ralf Treinen Connect in order to contact the contributor
Submitted on : Friday, October 8, 2010 - 5:22:25 PM
Last modification on : Saturday, June 25, 2022 - 8:49:54 PM

Identifiers

  • HAL Id : inria-00524786, version 1

Collections

UNIV-PARIS7 | PPS | CNRS | ENS-CACHAN | LARA | UNIV-PARIS | ENS-PARIS-SACLAY

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

54

 

Contact                    Legal Notice                    Personal Data