0
P е език за програмиране, където системата е описана като съвкупност от взаимодействащи машини на състоянието, общуващи помежду си чрез събития.ХАРАКТЕРИСТИКИ Унифицира моделирането и програмирането.Компилира се в изпълним код.Може да бъде валидиран чрез систематично тестване.Подходящ за проектиране и внедряване на мрежови, вградени и разпределени системи.