Preprint
Reversible Communicating Processes
Abstract
Reversible distributed programs have the ability to abort unproductive
computation paths and backtrack, while unwinding communication that occurred in
Authors
Brown G; Sabry A
Publication date
February 10, 2016
DOI
10.48550/arxiv.1602.03594
Preprint server
arXiv