The high-level syntax of the language looks amazing for writing and specifying complex protocols.
P is also being used to build safe robotics systems. https://drona-org.github.io/Drona/
The high-level syntax of the language looks amazing for writing and specifying complex protocols.
P is also being used to build safe robotics systems. https://drona-org.github.io/Drona/