An Algorithm to Support Code-Skeleton Generation for Concurrent Systems. - Penedo, Maria Heloisa (Lolo); Berry, Daniel M.; Estrin, Gerald (1981)