A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Horatiu Jula, George Candea. A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. In Martin Leucker, editor, Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Volume 5289 of Lecture Notes in Computer Science, pages 119-136, Springer, 2008. [doi]

This author has not been identified. Look up 'Horatiu Jula' in GoogleThis author has not been identified. Look up 'George Candea' in Google

runs on WebDSL