text: Несмотря на разнообразие существующих исчислений процессов, включающих варианты, имеющие дело со стохастическими процессами, временны́ми ограничениями и т. п., всем исчислениям присущи следующие основные черты: представление взаимодействий между независимыми процессами в виде передачи сообщений, а не изменения разделяемого процессами состояния; описание процессов и систем при помощи ограниченного набора примитивов и операций для комбинирования этих примитивов; определение алгебраических законов для операций над процессами, позволяющих проводить эквациональные рассуждения над процессными выражениями.