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

Che-Sheng Lin Gwan-Hwan Hwang

Published in: TASE (2009)

Keyphrases

concurrent programs

concurrent programming

process algebra