Course code, if applicable:
University hosting the course: Eindhoven University of Technology
Contact person: Bas Luttik, s.p.luttik@tue.nl
Concepts taught: Process calculus, structural operational semantics, various notions of bisimilarity, axiomatisation, soundness and completeness
Tools used: No tools
Webpage: https://canvas.tue.nl/courses/8829
Year/Level: MSc
Course code, if applicable: University hosting the course: Eindhoven University of Technology Contact person: Bas Luttik, s.p.luttik@tue.nl Concepts taught: Process calculus, structural operational semantics, various notions of bisimilarity, axiomatisation, soundness and completeness Tools used: No tools Webpage: https://canvas.tue.nl/courses/8829 Year/Level: MSc