0
P je programovací jazyk, ve kterém je systém popisován jako soubor vzájemně spolupracujících stavových strojů, které spolu komunikují prostřednictvím událostí.VLASTNOSTI Sjednocuje modelování a programování.Zkompiluje se do spustitelného kódu.Lze ověřit pomocí systematického testování.Vhodné pro návrh a implementaci síťových, vestavěných a distribuovaných systémů.