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