@dblp

Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks.

, and . Discrete Event Dynamic Systems, 25 (1-2): 31-63 (2015)

Links and resources

Tags