Schedulers and finishers: On generating and filtering the behaviours of an event structure.
Saved in:
| Title: | Schedulers and finishers: On generating and filtering the behaviours of an event structure. |
|---|---|
| Authors: | McIver, Annabelle1, Rabehaja, Tahiry1, tahiry.rabehaja@mq.edu.au, Struth, Georg2 |
| Source: | Theoretical Computer Science; Oct2018, Vol. 744, p97-112, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03043975 |
|---|---|
| DOI: | 10.1016/j.tcs.2018.01.015 |
