Schedulers and finishers: On generating and filtering the behaviours of an event structure. - McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg (Theoretical Computer Science, 2018)