circuit calculus

from The Free On-line Dictionary of Computing (8 July 2008)

CIRcuit CALculus
CIRCAL

   (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 <[email protected]>, ACM TOPLAS
   7(2):270-298, 1985].

   (2001-03-25)