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.
page revision: 0, last edited: 29 Jan 2014 13:02