Verfasser Suchresultate :: Subito Katalog

1

Checking Robustness Between Weak Transactional Consistency Models

von Beillahi, Sidi Mohamed
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Automated Synthesis of Asynchronizations

von Beillahi, Sidi Mohamed
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: