?url_ver=Z39.88-2004&rft_id=doi%3A10.1016%2Fj.jlamp.2017.03.003&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Mezzina%2C+Claudio+Antares&rft.aufirst=Claudio+Antares&rft.aulast=Mezzina&rft.issn=2352-2208&rft.atitle=Reversibility+in+session-based+concurrency%3A+A+fresh+look&rft.title=Journal+of+Logical+and+Algebraic+Methods+in+Programming&rft.date=2017&rft.volume=90&rft.pages=2-30&rft.genre=article