CIRCUIT CALCULUS
\sˌiːˈa͡ɪ ˈɑːkjˈuːɪt sˌiːˈe͡ɪ ˈɛlkjˈʊləs], \sˌiːˈaɪ ˈɑːkjˈuːɪt sˌiːˈeɪ ˈɛlkjˈʊləs], \s_ˌiː__ˈaɪ_ ˈɑː_k_j_ˈuː_ɪ_t s_ˌiː__ˈeɪ ˈɛ_l_k_j_ˈʊ_l_ə_s]\
Sort: Oldest first
-
(CIRCAL) A process algebra used to model and verify thedesign correctness of concurrent systems such as digitallogic.["CIRCAL and the Representation of Communication, Concurrencyand Time", G.J. Milne , ACM TOPLAS7(2):270-298, 1985].
By Denis Howe
Word of the day
Platidiam
- An inorganic water-soluble platinum complex. After undergoing hydrolysis, it reacts DNA produce both intra interstrand crosslinks. These crosslinks appear to impair replication and transcription of DNA. The cytotoxicity cisplatin correlates with cellular arrest in G2 phase cell cycle.