Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming session » programming series, programming service, programs session
session arrays » expression arrays, suspension arrays, recursion arrays
arrays a » arrays _
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming session » programming series, programming service, programs session
session arrays » expression arrays, suspension arrays, recursion arrays
arrays a » arrays _
1
Published 2010
Table of Contents:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”View full text
Electronic
eBook
