A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog. - Ehud Reches; Ehud Gudes; Ehud Shapiro (FODO, 1989)