Reversibility in Massive Concurrent Systems
Distributed, Parallel, and Cluster Computing
2011-08-18 v1 Formal Languages and Automata Theory
Abstract
Reversing a (forward) computation history means undoing the history. In concurrent systems, undoing the history is not performed in a deterministic way but in a causally consistent fashion, where states that are reached during a backward computation are states that could have been reached during the computation history by just performing independent actions in a different order.
Cite
@article{arxiv.1108.3419,
title = {Reversibility in Massive Concurrent Systems},
author = {Luca Cardelli and Cosimo Laneve},
journal= {arXiv preprint arXiv:1108.3419},
year = {2011}
}
Comments
Presented at MeCBIC 2011