Joinlock-sensitive forward reachability analysis for concurrent programs with dynamic process creation (0)

by T M Gawlitza, P Lammich, M Müller-Olm, H Seidl, A Wenner
Venue:of Lecture Notes in Computer Science