(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 Ne@cis.uNisa.edu.au>, ACM TOPLAS 7(2):270-298, 1985]. (2001-03-25)