Communications of the ACM
| Hi-index | 0.00 |
We here introduce the idea of 'implication' and 'equivalence' of I/O devices (Sec. I). 'Implication' and 'equivalence' are relations defined between devices. If a device-A implies device-B then operations performed on A are also performed on B. If device-A and device-B are equivalent the operations performed on a are performed on B also, and vice-versa. These device relations are analogous to algebraic 'implies' and 'equivalence' relations (Sec. II). Thus they promise the power of algebraic manipulations on the 'logical' devices. We cite some existing examples of cases where such relations may be defined, though in a primitive form. We conclude by citing some areas of utility for this power.