Roberto Lucchi: Security, probability and priority in the tuple-space coordination model. University of Bologna, Italy 2004