P is a language for asynchronous event-driven programming. P allows the programmer to specify the system as a collection of interacting state machines, which communicate with each other using events. P unifies modeling and programming into one activity for the programmer. Not only can a P program be compiled into executable code, but it can also be validated using systematic testing. P has been used to implement and validate the USB device driver stack that ships with Microsoft Windows 8 and Windows Phone. P is also suitable for the design and implementation of networked, embedded, and distributed systems.

Manual

Check the P manual.

Information for building P framework is available here.

Demos

See fun demo video using P to control a quadrocopter and make sense of the MavLink stream, all visualized in a live DGML diagram.

Publications

Related Repositories

P

P

The P programming language ...

GTMNSString-HTML

GTMNSString-HTML

http://code.google.com/p/google-toolbox-for-mac/source/browse/trunk/Foundation/GTMNSString%2BHTML.h http://code.google.com/p/google-toolbox-for-mac/source/browse/trunk/Foundation/GTMNSString%2BHTML.m ...

elasticfox-ec2tag

elasticfox-ec2tag

Patched Elasticfox (for EC2 Tag) branched from http://aws.amazon.com/developertools/609 and provide standalone version based on http://code.google.com/p/efoxapp/. ELB Tab from hybridfox http://code.google.com/p/hybridfox/ ...

android_startup_activity

android_startup_activity

A custom StartupActivity to workaround a known Android issue with two application instances. The issue is described here[http://code.google.com/p/android/issues/detail?id=2373] and here[http://code.google.com/p/android/issues/detail?id=5277]. ...

Aestheticam

Aestheticam

Was Miley Cyrus being v a p o r w a v e before v a p o r w a v e was v a p o r w a v e? ...


Top Contributors

shazqadeer desaiankush lovettchris ellab123 ejacksonMSR pdeligia thisiscam clovett akashlal