Reports
(Research Report)
Year : 2008
Ralf Treinen : Connect in order to contact the contributor
https://inria.hal.science/inria-00524786
Submitted on : Friday, October 8, 2010-5:22:25 PM
Last modification on : Friday, March 24, 2023-2:52:53 PM
Dates and versions
Identifiers
- HAL Id : inria-00524786 , version 1
Cite
Jules Villard, Etienne Lozes, Ralf Treinen. A Spatial Equational Logic for the Applied pi-calculus. [Research Report] 2008. ⟨inria-00524786⟩
Collections
53
View
0
Download