Aldini, 2006. Classification of security properties in a Linda-like process algebra 63.. https://doi.org/10.1016/j.scico.2005.07.010