TITLE : Deadlock detection in distributed applications organized in terms of atomic actions AUTHOR(S) : Ancilotti P, Fusani M TYPE : Other YEAR : 1983 CODE : 420872 *** DO NOT EDIT THIS FILE ***