GitHub repository: sshyran/pi4u
Description: A collection of papers about new models and applications of mobile process calculi