Technical Reports
1986
Retracts of Numerations --- out of print
Choices in, & Limitations of, Logic Programming
The Bit Complexity of Randomized Leader Election on a Ring
A Distributed Kernel for Reliable Group Communication
Host Identification in Reliable Distributed Kernels
Semi-Automatic Implementation of Network Protocols
Implementation of Microcomputers in Elementary Schools: A Survey and Evaluation --- don't reprint
Implementation of Team Shoshin: An Exercise in Porting and Multiprocess Structuring of the Kernel
Precomplete Negation & Universal Quantification
Model & Solution Strategy for Placement of Rectangular Blocks in the Euclidean Plane
Shape Analysis
Structuring Reliable Interactions in Distributed Server Architectures
Reasoning with Incomplete Information Investigations of Non-Monotonic Reasoning
Productive Sets and Constructively Nonpartial-Recursive Functions
On the Visual Discrimination of Self-Similar Random Textures
Addition Requirements for Matrix & Transposed Matrix Products
Conditioning of the Steady State Semiconductor Service Problem
On Collocation Implementation for Singularly Perturbed Two-Point Problems
A Semi-Automatic Approach to Protocol Implementation --- The ISO Class 2 Transport Protocol as an Example
Handling Call Idempotency Issues in Replicated Distributed Programs
Factors and Flows
An Environment Theory with Precomplete Negation over Pairs
Compiling Functional Programming Constructs to a Logic Engine
Efficiently Implementing Pure Prolog or: Not "YAWAM"
Probabilistic Solitude Detection on Rings of Known Size