Исчисление процессов
Sign in to saveAlso known as process algebras
diverse family of related approaches for formally modelling concurrent systems
Wikidata facts
- Subclass of
- mathematical model
- Has use
- concurrent computing
Show 1 more fact
- topic's main category
- Category:Process calculi
via Wikidata · CC0
Article · Русский
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар, разработавший теорию взаимодействующих последовательных процессов (Communicating Sequential Processes). Другими примерами являются TCC (англ. timed concurrent constraints), (ACP), LOTOS. Более современными методами являются пи-исчисление, , , и другие.
Abstract from DBpedia / Wikipedia · CC BY-SA