![Abstract interpretation / Models of computation / Parallel computing / Petri net / Software engineering / Computing Abstract interpretation / Models of computation / Parallel computing / Petri net / Software engineering / Computing](https://www.pdfsearch.io/img/4f2314d96916be54c0f19b5ff7fc1531.jpg) Date: 2012-09-10 07:41:01Abstract interpretation Models of computation Parallel computing Petri net Software engineering Computing | | Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UKAdd to Reading ListSource URL: www0.cs.ucl.ac.ukDownload Document from Source Website File Size: 222,40 KBShare Document on Facebook
|