circuit calculus

1 definition found

circuit calculus - Free On-line Dictionary of Computing (26 May 2007) :

  CIRcuit CALculus
  CIRCAL
  
     (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)