Travelled to:1 × Germany
1 × USA
Collaborated with:Arvind X.Shen S.Aditya
Talks about:protocol (1) parallel (1) implicit (1) languag (1) correct (1) barrier (1) strict (1) semant (1) proof (1) coher (1)
Person: Joseph E. Stoy
DBLP: Stoy:Joseph_E=
Contributed to:
2001
1995Wrote 2 papers:
- FME-2001-StoySA #correctness #protocol #proving
- Proofs of Correctness of Cache-Coherence Protocols (JES, XS, A), pp. 43–71.
- FPCA-1995-AdityaAS #semantics #strict
- Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language (SA, A, JES), pp. 204–215.