Joseph E. Stoy

Publication Activity (10 Years)

Years Active: 1972-2006
Publications (10 Years): 0

Publications

E. Czeck, Ravi Nanavati, Joseph E. Stoy
Reliable design with multiple clock domains. MEMOCODE (2006)
Joseph E. Stoy, Xiaowei Shen, Arvind
Proofs of Correctness of Cache-Coherence Protocols. FME (2001)
Joseph E. Stoy
Christopher Strachey and Fundamental Concepts. High. Order Symb. Comput. 13 (1/2) (2000)
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
A Lambda Calculus with Letrecs and Barriers. FSTTCS (1996)
Shail Aditya, Arvind, Joseph E. Stoy
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. FPCA (1995)
Joseph E. Stoy
The Congruence of two Programming Language Definitions. Theor. Comput. Sci. 13 (1981)
Joseph E. Stoy
Foundations of Denotational Semantics. Abstract Software Specifications (1979)
Joseph E. Stoy, Christopher S. Strachey
OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system. Comput. J. 15 (3) (1972)
Joseph E. Stoy, Christopher S. Strachey
OS6 - an experimental operating system for a small computer. Part 1: general principles and structure. Comput. J. 15 (2) (1972)