li>
  <li><a href="http://www.pst.ifi.lmu.de/Lehre/fruhere-semester/sose-2013/formale-spezifikation-und-verifikation/intro-to-pa.pdf">A gentle introduction to Process Algebras*</a></li>
  <li><a href="http://cs.stackexchange.com/questions/19506/differences-between-the-actor-model-and-communicating-sequential-processes-csp">Differences between the Actor Model and Communicating Sequential Processes (CSP)</a></li>
</ul></div></div></div></body></html>