Plt1314 9

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

Logistics

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

Assignment

The starting point is the following sketch of CCS: https://github.com/rlaemmel/pltcourse/blob/master/src/lecture-logs/unikold1314/ccs.pro

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.