Class notes
Modelling Computer Systems II
- Course
- Institution
This is the summary of all the materials of module CS-175 in Swansea University. The file contains six chapters: Recursion and Inductive Definitions, MI, Games and Strategy, Modelling Processes and Bisimulation and Logical Properties of Processes.
[Show more]