Not quite a hello world, but the Tutorials section in the left-side menu is actually a set of examples, each one an annotated program. See for example the firs

Not quite a hello world, but the Tutorials section in the left-side menu is actually a set of examples, each one an annotated program. 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/ https://p-org.github.io/P/tutorial/clientserver/