Can someone provide a simple hello world example of a program in P? I searched the website. It provides definitions and ideas for many concepts. But not a single example.
See for example the first one, a client/server application implementing bank withdrawals with safety and liveness properties: https://p-org.github.io/P/tutorial/clientserver/
Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/