A PictLanguage-based, and therefore PiCalculus-based, CompositionLanguage.
There are currently two implementation, JPiccola and SPiccola, implemented for, respectively, JavaLanguage and SmallTalk.
http://www.iam.unibe.ch/~scg/Research/Piccola
Piccola Language
last modified: April 22, 2005