doi dblp A Butler Process for Resource Sharing on Spice Machines Roger B. Dannenberg | Peter G. Hibbard 1985 Volume 3 Issue 3