Petri nets and speed independent design
Communications of the ACM
Journal of Computer and System Sciences
Hi-index | 0.02 |
This paper presents examples illustrative of practical problems encountered in the physical realization of a speed independent control for a high speed computer under construction at the University of Illinois. Three separate problems are described; each is related to an assumption on which the theory of speed independent circuits is based.