Source : Free On-Line Dictionary of Computing

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 , ACM TOPLAS
        7(2):270-298, 1985].
     
        (2001-03-25)