GitHub repository: leithaus/pi4u
Primary language: TeX
Created: 2015-01-09T02:14:19Z
Description: A collection of papers about new models and applications of mobile process calculi