0
P je programovací jazyk, v ktorom je systém opísaný ako súbor vzájomne spolupracujúcich stavových strojov, ktoré spolu komunikujú prostredníctvom udalostí.VLASTNOSTI Zjednocuje modelovanie a programovanie.Zostavuje sa do spustiteľného kódu.Môže byť potvrdená systematickým testovaním.Vhodný na návrh a implementáciu sieťových, zabudovaných a distribuovaných systémov.