[nickpsecurity]

It's a language for expressing protocols. So, P for protocols most likely. It also focuses on safety and ease of analysis. Can't possibly be connected to the C lineage...

[girvo]

I believe it does compile to C, interestingly, so not really connected, but a little bit nonetheless