TY  - JOUR

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

JO  - Theoretical Computer Science

UR  - https://doi.org/10.1016/j.tcs.2018.01.015

PY  - 2018/10/05

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  - 2025/12/03

ER  -