Deadlock Freedom Through Object Ownership
Main Authors: | Kerfoot, E, McKeever, S, Torshizi, F |
---|---|
Format: | Conference item |
Published: |
2009
|
Similar Items
-
Maintaining Invariants Through Object Coupling Mechanisms
by: Kerfoot, E, et al.
Published: (2007) -
Deadlock and deadlock freedom
by: Dathi, N
Published: (1989) -
The pursuit of deadlock freedom
by: Roscoe, A, et al.
Published: (1987) -
Checking Concurrent Contracts with Aspects
by: Kerfoot, E, et al.
Published: (2010) -
Checking concurrent contracts with aspects
by: Kerfoot, E, et al.
Published: (2010)