| 2006 |
|---|
| 10 | EE | E. Czeck,
Ravi Nanavati,
Joseph E. Stoy:
Reliable design with multiple clock domains.
MEMOCODE 2006: 139-148 |
| 2001 |
|---|
| 9 | EE | Joseph E. Stoy,
Xiaowei Shen,
Arvind:
Proofs of Correctness of Cache-Coherence Protocols.
FME 2001: 43-71 |
| 2000 |
|---|
| 8 | | Joseph E. Stoy:
Christopher Strachey and Fundamental Concepts.
Higher-Order and Symbolic Computation 13(1/2): 115-117 (2000) |
| 1998 |
|---|
| 7 | EE | Arvind,
Jan-Willem Maessen,
Rishiyur S. Nikhil,
Joseph E. Stoy:
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects.
Electr. Notes Theor. Comput. Sci. 16(3): (1998) |
| 1996 |
|---|
| 6 | | Arvind,
Jan-Willem Maessen,
Rishiyur S. Nikhil,
Joseph E. Stoy:
A Lambda Calculus with Letrecs and Barriers.
FSTTCS 1996: 19-36 |
| 1995 |
|---|
| 5 | | Shail Aditya,
Arvind,
Joseph E. Stoy:
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language.
FPCA 1995: 204-215 |
| 1981 |
|---|
| 4 | | Joseph E. Stoy:
The Congruence of two Programming Language Definitions.
Theor. Comput. Sci. 13: 151-174 (1981) |
| 1979 |
|---|
| 3 | | Joseph E. Stoy:
Foundations of Denotational Semantics.
Abstract Software Specifications 1979: 43-99 |
| 1972 |
|---|
| 2 | EE | Joseph E. Stoy,
C. Strachey:
OS6 - an experimental operating system for a small computer. Part 1: general principles and structure.
Comput. J. 15(2): 117-124 (1972) |
| 1 | EE | Joseph E. Stoy,
C. Strachey:
OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system.
Comput. J. 15(3): 195-203 (1972) |
