Jafar Hamin, Bart Jacobs 0002. Transferring Obligations Through Synchronizations. In Alastair F. Donaldson, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Volume 134 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Abstract is missing.