top | item 34276960 (no title) tmp60beb0ed | 3 years ago 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. discuss order hn newest thamer|3 years ago 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/ planguage|3 years ago https://p-org.github.io/P/tutsoutline/Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/
thamer|3 years ago 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/
planguage|3 years ago https://p-org.github.io/P/tutsoutline/Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/
thamer|3 years ago
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/
planguage|3 years ago
Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/