Resource traces: a domain for processes sharing exclusive resources. - Paul Gastin; Dan Teodosiu 001 (Theor. Comput. Sci., 2002)

A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources. - Dan Teodosiu 001 (MFPS, 2012)