Skip to Main content Skip to Navigation
Conference papers

Full abstraction for a resource calculus with tests

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00628886
Contributor : Antonio Bucciarelli Connect in order to contact the contributor
Submitted on : Tuesday, October 4, 2011 - 2:29:49 PM
Last modification on : Saturday, June 25, 2022 - 8:50:57 PM

Identifiers

  • HAL Id : inria-00628886, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

27