Materials
Lecture
3. Tiny - Operational Semantics
4. Tiny - Denotational Semantics
5. Small - Denotational Semantics
7. Process Algebra - Operators ... and a gentle Introduction to Process Algebra
Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.