Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Concurrent Flexible Reversibility
ESOP, 2013.
@inproceedings{ESOP-2013-LaneseLMSS,
author = "Ivan Lanese and Michael Lienhardt and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani",
booktitle = "{Proceedings of the 22nd European Symposium on Programming}",
doi = "10.1007/978-3-642-37036-6_21",
editor = "Matthias Felleisen and Philippa Gardner",
isbn = "978-3-642-37035-9",
pages = "370--390",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Concurrent Flexible Reversibility}",
volume = 7792,
year = 2013,
}
Tags: