P — это язык программирования, в котором система описывается как набор взаимодействующих конечных автоматов, взаимодействующих друг с другом посредством событий.
ОСОБЕННОСТИ
Объединяет моделирование и программирование. Компилируется в исполняемый код. Может быть подтверждено систематическим тестированием. Подходит для проектирования и реализации сетевых, встроенных и распределенных систем.