Fault Model Design Space for Cooperative Concurrency.

Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro

Browse the full ISoLA paper archive.