TY  - JOUR

T1  - Schedulers and finishers: On generating and filtering the behaviours of an event structure

JO  - Theoretical Computer Science

PY  - 2018/01/01

AU  - McIver A

AU  - Rabehaja T

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.tcs.2018.01.015

PB  - Elsevier BV

VL  - 744

SP  - 97

EP  - 112

Y2  - 2024/12/25

ER  -