PiDuce is a concurrent, distributed language intended for experimenting emerging Web Services technologies. PiDuce can be used as a target language for compilers and processors of business languages such as BizTalk and BPel...

PiDuce builds on solid theoretical foundations: it integrates the communication primitives of the Pi calculus, the synchronization patterns of the Join calculus, and an expressive type system that extends XML datatypes with first-class channels and that retains a notion of subtyping. PiDuce is
a type-safe language: well-typed process cannot fail.

PiDuce is implemented in C#. Source code and binaries are available for download.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.


Thanks for the link, Ehud!

I am spending the third evening trying to understand what happened to Funnel, JoCaml, and other offsprings of Join calculus. Looking forward to read about PiDuce!