This section lists the course material for the course 2IMF10 Process Algebra.
J. C. M. Baeten, T. Basten and M. A. Reniers:
Process Algebra: Equational Theories of Communicating Processes
Cambridge Tracts in Theoretical Computer Science, Vol. 30
Cambridge University Press, 2010
[29-Jun-2015] |
[10-Aug-2015] |
[27-Jun-2016] |
[09-Aug-2016] |