![Logic in computer science / Programming language semantics / Models of computation / Causality / Determinism / Philosophy of science / Operational semantics / NP / Parallel computing / Theoretical computer science / Applied mathematics / Programming language theory Logic in computer science / Programming language semantics / Models of computation / Causality / Determinism / Philosophy of science / Operational semantics / NP / Parallel computing / Theoretical computer science / Applied mathematics / Programming language theory](https://www.pdfsearch.io/img/43b11424c13c26ca5b41001a5e319a32.jpg) Date: 2011-04-01 17:50:55Logic in computer science Programming language semantics Models of computation Causality Determinism Philosophy of science Operational semantics NP Parallel computing Theoretical computer science Applied mathematics Programming language theory | | 2nd Wkshp. on Determinism & Correctness in Parallel Programming (WoDet), Newport Beach, CA, Mar[removed]Toward a Formal Semantic Framework for Deterministic Parallel Programming ∗ Michael L. ScottAdd to Reading ListSource URL: www.cs.rochester.eduDownload Document from Source Website File Size: 137,96 KBShare Document on Facebook
|