A Spatial Equational Logic for the Applied pi-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008
No file

Dates and versions

inria-00524786 , version 1 (08-10-2010)

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⟩
53 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More