Schedulers and finishers: On generating and filtering the behaviours of an event structure
McIver, Annabelle, Rabehaja, Tahiry, Struth, GeorgLanguage:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2018.01.015
Date:
August, 2018
File:
PDF, 962 KB
english, 2018