Sign in
Liveness of a mutex algorithm in a fair process algebra.
Flavio Corradini
Maria Rita Di Berardini
Walter Vogler
Published in:
Acta Informatica (2009)
Keyphrases
</>
learning algorithm
open source
artificial intelligence
natural language
mutual exclusion
concurrent systems