GitHub repository: rchain/pi4u
Primary language: TeX
Description: A collection of papers about new models and applications of mobile process calculi