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 <>
Submitted on : Friday, October 8, 2010 - 5:22:25 PM
Last modification on : Monday, February 15, 2021 - 10:48:57 AM

Identifiers

  • HAL Id : inria-00524786, version 1

Collections

CNRS | ENS-CACHAN | PPS | UNIV-PARIS7 | LARA | USPC | 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

Share

Metrics

Record views

99

 

Contact                    Legal Notice                    Personal Data