Applications of Process Algebra door Jos C.M. Baeten