TCD-CS-93-39... Butterfield, A.
On Mapping Reduction
April 1993
Keywords:induction; list Operations; Reduction;
Accumulation
Abstract
This article discusses the Mapped Reduction operator (II) that was
developed while modeling aspects of fault tolerant systems
[But93b].
Technical Reports Home Page