Java + RMI implementation of the K Raymond Algorithm