"Deadlock Conditions in Well Structured Modular Systems."

Paolo Ancilotti et al. (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics