@inproceedings{242f8e68f56047939a3e261251920c6f,
title = "Transactions in RCCS",
abstract = "We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtrack mechanism. Any weakly correct implementation of a transaction in CCS, once embedded in RCCS, automatically obtains a correct one. We show examples where this method allows for a more concise implementation and a simpler proof of correctness.",
author = "Vincent Danos and Jean Krivine",
year = "2005",
doi = "10.1007/11539452_31",
language = "English",
isbn = "978-3-540-28309-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "398--412",
booktitle = "CONCUR 2005 – Concurrency Theory",
address = "United Kingdom",
}