Formal Methods for Open Object-based Distributed Systems: Volume 1

Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings