Login / Signup

Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs.

Che-Sheng LinGwan-Hwan Hwang
Published in: TASE (2009)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra