?url_ver=Z39.88-2004&rft_id=doi%3E10.1145%2F3131851.3131864&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Mezzina%2C+Claudio+Antares&rft.aulast=Mezzina&rft.aufirst=Claudio+Antares&rft.isbn=978-1-4503-5291-8&rft.date=2017&rft.title=Causally+consistent+reversible+choreographies%3A+a+monitors-as-memories+approach&rft.btitle=Proceedings+of+the+19th+International+Symposium+on+Principles+and+Practice+of+Declarative+Programming&rft.genre=proceeding