Reversible Communicating Systems

Vincent Danos (1) , Jean Krivine (2)

1 School of Informatics [Edimbourg]
2 PPS - Preuves, Programmes et Systèmes

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.

Mots clés: Process algebra; reversibility; non interleaving

Domaines: Théorie et langage formel [cs.FL]

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