Исчисление процессов
Sign in to saveAlso known as process algebras
diverse family of related approaches for formally modelling concurrent systems
Article · Русский
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар, разработавший теорию взаимодействующих последовательных процессов (Communicating Sequential Processes). Другими примерами являются TCC (англ. timed concurrent constraints), (ACP), LOTOS. Более современными методами являются пи-исчисление, , , и другие.
Abstract from DBpedia / Wikipedia · CC BY-SA