Login / Signup
On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity.
Ahmed Bouajjani
Published in:
Taming the Infinities of Concurrency (2024)
Keyphrases
</>
concurrent programs
artificial intelligence
information systems