Plt1314 9

(C) Ralf Lämmel, Andrei Varanovich, University of Koblenz Landau


  • Course site
  • Date published: 29 Jan 2014
  • Deadline SVN: as communicated by email


The starting point is the following sketch of CCS:

Pick some other language concept of CCS and add it to the semantics.

These are examples of constructs you could be adding:

  • Recursive equations
  • Restriction
  • Reformulation
  • Value passing and primitively typed expressions

You need to demonstrate that your extension works for some example of your choice.