P Programming Language

P 是一种编程语言，其系统被描述为一组通过事件相互通信的交互式状态机。 特性 统一了建模与编程。 可编译为可执行代码。 可通过系统化测试进行验证。 适用于网络化、嵌入式及分布式系统的设计与实现。