CALCULUS OF COMMUNICATING SYSTEMS
\kˈalkjʊləs ɒv kəmjˈuːnɪkˌe͡ɪtɪŋ sˈɪstəmz], \kˈalkjʊləs ɒv kəmjˈuːnɪkˌeɪtɪŋ sˈɪstəmz], \k_ˈa_l_k_j_ʊ_l_ə_s ɒ_v k_ə_m_j_ˈuː_n_ɪ_k_ˌeɪ_t_ɪ_ŋ s_ˈɪ_s_t_ə_m_z]\
Sort: Oldest first
-
(CCS) A mathematical model (a formal language) for describingprocesses, mostly used in the study of parallelism. A CCSprogram, written in behaviour expressions syntax denotes aprocess behaviour. Programs can be compared using the notionof observational equivalence.["A Calculus of Communicating Systems", LNCS 92, Springer1980].["Communication and Concurrency", R. Milner, P-H 1989].
By Denis Howe
Word of the day
Dopamine Acetyltransferase
- An enzyme that catalyzes the of groups from acetyl-CoA to arylamines. They have wide specificity for aromatic amines, particularly serotonin, and can also catalyze acetyl transfer between arylamines without CoA. EC 2.3.1.5.
Nearby Words
- calculous pus
- calculs
- calculs biliaires
- calculus
- calculus bezoar
- Calculus of Communicating Systems
- calculus of finite differences
- calculus of probability
- calculus of variation
- calculus of variations
- calculus, nasal