His recent PhD thesis at ETH Zurich was devoted to the SCOOP model; it solved a number of open problems, provided a working implementation, defined the semantics, and constitutes the current reference on SCOOP.