Semantics and Applications of Process and Program Algebra door T.D. Vu