Login / Signup

A Deadlock-Free Semantics for Shared Memory Concurrency.

Gérard Boudol
Published in: ICTAC (2009)
Keyphrases