P is a programming language where the system is described as a collection of interacting state machines communicating with each other through events.
FEATURES
Unifies modeling and programming.
Compiles into executable code.
Can be validated with systematic testing.
Suitable for design and implementation of networked, embedded and distributed systems.
↧