Fairness and the axioms of control predicates Nissim FrancezShmuel Katz OriginalPaper Pages: 263 - 278
Experiments with applicative updating: Practical results Frances E. Hunt OriginalPaper Pages: 279 - 303
Simulating logic circuits: A multiprocessor application Elizabeth BradleyRobert H. Halstead Jr. OriginalPaper Pages: 305 - 338