On efficient deadlock avoidance for distributive recursive processes

by César Sánchez , Henny B. Sipma , Zohar Manna
Citations:3 - 3 self