slovodefinícia
circuit calculus
(foldoc)		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 , ACM TOPLAS
7(2):270-298, 1985].

(2001-03-25)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4