Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Invariant-based verification of a distributed deadlock detection algorithm

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Kshemkalyani, A.D. ; Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA ; Singhal, M.

Author(s)

Kshemkalyani, A.D.
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Singhal, M.