Classification of security properties in a Linda-like process algebra - Aldini, Alessandro (Science of Computer Programming, 2006)