Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersection concurrent » integration concurrent, intersection constraints, interaction current
programs session » problems session
session array » emission array, station array, suspension array
https » http
intersection concurrent » integration concurrent, intersection constraints, interaction current
programs session » problems session
session array » emission array, station array, suspension array
https » http
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
