Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
CIRcuit CALculus
Jump to user comments
(CIRCAL) A process algebra used to model and verify the
design correctness of concurrent systems such as digitallogic.