Searching for "Capsule Reviews." – sorted by Relevance.
-
A Fast Mutual Exclusion Algorithm
- and atomic writes to shared registers. Capsule Review To build a useful computing system from a collection
- Cited by 180 (6 self) – Add To MetaCart
-
On Interprocess Communication
- for implementing them. Capsule Review by Andrei Broder Concurrent systems are customarily described hierarchically
- Cited by 112 (5 self) – Add To MetaCart
-
A Simple Approach to Specifying Concurrent Systems
- to implement a specification. Language issues and other practical details are largely ignored. Capsule Review
- Cited by 115 (8 self) – Add To MetaCart
-
A Caching File System for a Programmer's Workstation
- as the December 1985 issue of Operating Systems Review. c fl1985 by the Association for Computing Machinery. All
- Cited by 48 (0 self) – Add To MetaCart
-
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
- correctness proof of the algorithm. Capsule Review Recently, a number of mechanisms for interprocess
- Add To MetaCart
-
A Theorem on Atomicity in Distributed Algorithms
- be considered atomic. Capsule Review In executing a distributed algorithm, process actions and message
- Cited by 12 (0 self) – Add To MetaCart
-
Container Types Categorically
- unique strength, and all natural transformations between container types are strong. Capsule Review
- Cited by 7 (0 self) – Add To MetaCart
-
On Cubism
- theoretic features, like dependent sums. Capsule review The paper reexamines the classification of typed
- Cited by 1 (0 self) – Add To MetaCart
-
Functorial ML
- . Capsule Review A wide class of type constructors (functions producing types from types) used
- Add To MetaCart
-
The Existence of Refinement Mappings
- , hierarchical specification method. Capsule Review This report deals with the problem of proving
- Cited by 359 (24 self) – Add To MetaCart

