Reversibility in Massive Concurrent Systems

Luca Cardelli, Cosimo Laneve. Reversibility in Massive Concurrent Systems. Sci. Ann. Cuza Univ., 21(2):175-198, 2011. [doi]

Abstract

Abstract is missing.