A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps. A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. In Corina S. Pasareanu, editor, Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Volume 5578 of Lecture Notes in Computer Science, pages 125-142, Springer, 2009. [doi]

This author has not been identified. Look up 'Nicholas Kidd' in GoogleThis author has not been identified. Look up 'Peter Lammich' in GoogleThis author has not been identified. It may be one of the following persons:

Tayssir Touili

Look up 'Tayssir Touili' in GoogleIdentified as Thomas W. Reps

runs on WebDSL