Browsing Theses by Subject "process algebra"
Now showing items 1-1 of 1
-
Weak invariant simulation and analysis of parameterized networks
(University of Waterloo, 2014-12-11)Multi-process networks figure in many engineering applications such as communication networks, transportation networks, manufacturing and logistic systems, and computer hardware and software. Parameterized discrete event ...