Skip to Main content Skip to Navigation
Conference papers

Reversible Communicating Systems

Abstract : One obtains in this paper a process algebra RCCS, in the style of CCS, where processes can backtrack. Backtrack, just as plain forward computation, is seen as a synchronization and incurs no additional cost on the communication structure. It is shown that, given a past, a computation step can be taken back if and only if it leads to a causally equivalent past.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00784051
Contributor : Jean Krivine Connect in order to contact the contributor
Submitted on : Sunday, February 3, 2013 - 12:54:14 PM
Last modification on : Monday, November 29, 2021 - 9:24:03 PM
Long-term archiving on: : Saturday, May 4, 2013 - 3:00:10 AM

File

RCCS.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00784051, version 1

Collections

Citation

Vincent Danos, Jean Krivine. Reversible Communicating Systems. CONCUR, 2004, Londres, United Kingdom. pp.292-307. ⟨hal-00784051⟩

Share

Metrics

Record views

183

Files downloads

575