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
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