Paul Gastin;Antoine Petit
-;-
Resource traces: a domain for processes sharing exclusive resources
Theoretical Computer Science