Yes, 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…
https://p-org.github.io/P/tutsoutline/ Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/
There was a talk on P at StrangeLoop as well: https://www.youtube.com/watch?v=5YjsSDDWFDY
Yes, 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…
https://p-org.github.io/P/tutsoutline/ Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/
There was a talk on P at StrangeLoop as well: https://www.youtube.com/watch?v=5YjsSDDWFDY