e/Calculus of communicating systems

Information
has gloss	eng: The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock.
lexicalization	eng: Calculus of communicating systems
instance of	e/Specification language

Meaning
Russian
has gloss	rus: Исчисление общающихся систем (, CCS) — это исчисление процессов, введённое Робином Милнером около 1980, и название его книги, описывающей это исчисление. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя участниками. Формальный язык включает примитивы для описания параллельной композиции, выбора между действиями и рамки ограничений. CCS полезен для оценки качественной корректности свойств таких систем как deadlock или livelock.
lexicalization	rus: Исчисление общающихся систем
Castilian
has gloss	spa: El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes.
lexicalization	spa: Calculo de sistemas comunicantes
lexicalization	spa: Cálculo de sistemas comunicantes

Media
media:img	Proceso ccs.png