Ebook Modelling computing systems: Mathematics for computer science – Part 2

Part 2 of ebook "Modelling computing systems: Mathematics for computer science" provides readers with contents including: modelling computing systems; modelling processes; distinguishing between processes; logical properties of processes; concurrent processes; temporal properties;...