Applications of Process Algebra