Skip to Main content Skip to Navigation
Reports

A Spatial Equational Logic for the Applied pi-calculus

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

Citation

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

Share

Metrics

Record views

99