Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

CIRcuit CALculus

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].


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

©2018 Martin Webb