CONCURRENCY
2006
15 years 3 months ago
2006
er proposes two approaches to managing concurrency in Java using a guarded region abstraction. Both approaches use revocation of such regions