We give criteria for recognising when combinatorial patterns of directed arcs in the disc contain directed cycles. The endpoints of the arcs are imagined as the input and output ports of a planar cicruit, and the arcs represent the allowable logical dependencies of input and output. The motivation is the study of VLSI circuits.
Information and Computation 90 (1991) 178-193.