„weakly consistent models“

Suchergebnisse

1 Treffer

• On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk)
  Bouajjani, Ahmed 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik