PiMonad - a network programming framework based on Pi-Calculus

What is PiMonad?

PiMonad is a library for functional programming language Haskell. Points are :

• Lightweight implementation of the Pi-Calculus, a process algebra with channel-passing feature.
• Network programming framework equipped with channel-passing feature.
• (Future work) Design with Pi-Calculus, verify it, then implement it with PiMonad :)

Current status of the project

• Under heavy reconstruction... new version 0.01 (no network feature) is avaiable. (Jun. 12, 2006)

Download (for GHC only)

• Version 0.01 (Documentation, tar.bz2)

Samples (coming soon)

• semaphore example
• instant messenger

Other Implementation of the Pi-Calculus

• Pict, Nomadic Pict

Keigo IMAI