„asynchronous programs locks concurrency multi-set pushdown systems“

Suchergebnisse

1 Treffer

• Verification of Asynchronous Programs with Nested Locks
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Narayan Kumar, K. ; Saivasan, Prakash 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik