Searching for "A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
by Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas Reps, Grammatech Inc
…A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB