planguage·hace 4 años·discussYes, P has been updated a lot in the last 6 years. Much better documentation and compiler. There is going to be a new release in a couple of months with a verifier as well as a way to check P specifications on implementation.
planguage·hace 4 años·discusshttps://p-org.github.io/P/tutsoutline/Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/
planguage·hace 4 años·discussThere was a talk on P at StrangeLoop as well: https://www.youtube.com/watch?v=5YjsSDDWFDY