Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)