- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| c5 |      | E. Czeck, Ravi Nanavati, Joseph E. Stoy: Reliable design with multiple clock domains. MEMOCODE 2006: 139-148 |
| 2001 | ||
| c4 | | Joseph E. Stoy, Xiaowei Shen, Arvind: Proofs of Correctness of Cache-Coherence Protocols. FME 2001: 43-71 |
| 2000 | ||
| j5 | | Joseph E. Stoy: Christopher Strachey and Fundamental Concepts. Higher-Order and Symbolic Computation 13(1/2): 115-117 (2000) |
| 1998 | ||
| j4 | | 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): 265-290 (1998) |
| 1996 | ||
| c3 | | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36 |
| 1995 | ||
| c2 |  | Shail Aditya, Arvind, Joseph E. Stoy: Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. FPCA 1995: 204-215 |
| 1981 | ||
| j3 | | Joseph E. Stoy: The Congruence of two Programming Language Definitions. Theor. Comput. Sci. 13: 151-174 (1981) |
| 1979 | ||
| c1 | | |
| 1972 | ||
| j2 | | 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) |
| j1 | | 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) |
| 1 | Shail Aditya | |
| 2 | Arvind | |
| 3 | E. Czeck | |
| 4 | Jan-Willem Maessen | |
| 5 | Ravi Nanavati | |
| 6 | Rishiyur S. Nikhil | |
| 7 | Xiaowei Shen | |
| 8 | C. Strachey |
Colors in the list of coauthors
Last update Sun May 19 21:22:09 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page