Login / Signup

Monitoring Atomicity in Concurrent Programs.

Azadeh FarzanP. Madhusudan
Published in: CAV (2008)
Keyphrases
  • concurrent programs
  • real time
  • process algebra
  • concurrent programming
  • concurrent processes
  • building blocks
  • formal specification