Sign in

Checking a Mutex Algorithm in a Process Algebra with Fairness.

Flavio CorradiniMaria Rita Di BerardiniWalter Vogler
Published in: CONCUR (2006)
Keyphrases
  • machine learning
  • expert systems
  • knowledge acquisition
  • real time
  • case study