Jump to: navigation, search

libpi is a c++ library offering the basic functionality of the asynchronous pi-calculus.

libpi has been written for the [apims] compiler, and it is advised to use this over writing c++ code using libpi manually, as [apims] provides type checking, which guarantees no protocol errors, and many other errors, which are likely to occur when writing multi-process (or multi-threaded) applications.


Get the newest version from the libpi repository.

Personal tools