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