EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

ws18:kommpar [2019/01/14 11:31]
lutz [Übungsblätter]
ws18:kommpar [2019/01/30 14:24] (current)
lutz [Literatur]
Line 31: Line 31:
   * [[http://people.cis.ksu.edu/~schmidt/705s12/Lectures/intro2ccs.pdf|Luca Aceto, Kim G. Larsen, An Introduction to Milner’s CCS]].   * [[http://people.cis.ksu.edu/~schmidt/705s12/Lectures/intro2ccs.pdf|Luca Aceto, Kim G. Larsen, An Introduction to Milner’s CCS]].
   * [[http://www.csc.kth.se/utbildning/kth/kurser/DD2452/Literature/sti-96.pdf|Colin C. Stirling, Modal and Temporal Logics for Processes]].   * [[http://www.csc.kth.se/utbildning/kth/kurser/DD2452/Literature/sti-96.pdf|Colin C. Stirling, Modal and Temporal Logics for Processes]].
-  * Davide Sangiorgi and David Walker, The pi-Calculus - A Theory of Mobile Processes, Cambridge University Press, 200+  * Davide Sangiorgi and David Walker, The pi-Calculus - A Theory of Mobile Processes, Cambridge University Press, 2001 
 +  * Joachim Parrow, [[https://www3.risc.jku.at/education/oldmoodle/file.php/28/intro-1.pdf|An Introduction to the pi-Calculus]]