A framework for state-space exploration of Java-based actor programs (2009)

by S Lauterburg, M Dotta, D Marinov, G A Agha
Venue:In ASE