1. (cırcal) a process algebra used to model and verify the design correctness of concurrent systems such as digital logic. [cırcal 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)
İngilizce
Başkaları ne arıyor?