Searching for "Capsule Reviews." – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
