meaning of circuit calculus
1. CIRcuit CALculus CIRCAL A process algebra used to model and verify the design correctness of concurrent systems such as digital logic. ["CIRCAL and the Representation of Communication, Concurrency and Time", G. J. Milne