"Control Flow Analysis for the Join Calculus."

Peter Calvert, Alan Mycroft (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics