StefanR rated Communicating and Mobile Systems: 3 stars May 6, 2014 Public Communicating and Mobile Systems by Robin Milner