Groups of symmetries on concurrent systems. - Samantha West (2002)