search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Process Algebra #38

Open jff opened 5 years ago

jff commented 5 years ago

Issue by luigiapetre Wednesday Mar 06, 2019 at 14:43 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/38

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