Volker Diekert
-
Resource traces: a domain for processes sharing exclusive resources
Theoretical Computer Science