You are here: irt.org | FOLDOC | 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 <milne@cis.unisa.edu.au>, ACM TOPLAS 7(2):270-298, 1985].
(2001-03-25)
Nearby terms: CIR « CIRCAL « circuit « CIRcuit CALculus » circuit switch » circuit switched » circuit switching
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL