meaning of circuit calculus

1. 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 unisa. edu. au>, ACM TOPLAS 72:270-298, 1985].


Related Words

circuit calculus |

Developed & Maintained By Taraprasad.com

Treasure Words