| 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 |
About this site and copyright information - Online Dictionary Home