Transactions in RCCS

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00164585
Contributor : Vincent Danos <>
Submitted on : Friday, July 20, 2007 - 7:36:08 PM
Last modification on : Wednesday, January 9, 2019 - 8:30:09 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

166