A Framework for State-Space Exploration of Java-based Actor Programs

by Steven Lauterburg , Mirco Dotta , Darko Marinov , Gul Agha
Citations:12 - 8 self