BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stoy:Joseph_E=

Contributed to:

FME 20012001
FPCA 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.