Conference Papers
Year : 2011
Antonio Bucciarelli : Connect in order to contact the contributor
https://inria.hal.science/inria-00628886
Submitted on : Tuesday, October 4, 2011-2:29:49 PM
Last modification on : Friday, March 24, 2023-2:52:54 PM
Dates and versions
Identifiers
- HAL Id : inria-00628886 , version 1
Cite
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto. Full abstraction for a resource calculus with tests. Computer Science Logic, 2011, Bergen, Norway. pp.97-111. ⟨inria-00628886⟩
Collections
30
View
0
Download