(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)