Joseph E. Stoy

According to our database, Joseph E. Stoy authored at least 10 papers between 1972 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Reliable design with multiple clock domains.

E. Czeck, Ravi Nanavati, Joseph E. Stoy

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2001

Proofs of Correctness of Cache-Coherence Protocols.

Joseph E. Stoy, Xiaowei Shen, Arvind

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Christopher Strachey and Fundamental Concepts.

Joseph E. Stoy

High. Order Symb. Comput., 2000

1998

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects.

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

1996

A Lambda Calculus with Letrecs and Barriers.

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language.

Shail Aditya, Arvind, Joseph E. Stoy

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1981

The Congruence of two Programming Language Definitions.

Joseph E. Stoy

Theor. Comput. Sci., 1981

1979

Foundations of Denotational Semantics.

Joseph E. Stoy

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1972

OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system.

Joseph E. Stoy, Christopher S. Strachey

Comput. J., 1972

OS6 - an experimental operating system for a small computer. Part 1: general principles and structure.

Joseph E. Stoy, Christopher S. Strachey

Comput. J., 1972