Mobile Calculi
Prof. Diletta Romana Cacciagrano. From sequential over concurrent to mobile systems Introduction to the Pi-Calculus Operational Equivalences based.