Skip to Main content Skip to Navigation
Conference papers

Transactions in RCCS

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00164585
Contributor : Vincent Danos Connect in order to contact the contributor
Submitted on : Friday, July 20, 2007 - 7:36:08 PM
Last modification on : Tuesday, November 30, 2021 - 3:46:10 AM

Identifiers

  • HAL Id : hal-00164585, version 1

Collections

Citation

Vincent Danos, Jean Krivine. Transactions in RCCS. Sixteenth International Conference on Concurrency Theory (CONCUR'05), 2005, United Kingdom. pp.398-412. ⟨hal-00164585⟩

Share

Metrics

Record views

210