Concurrency Verification: Introduction to Compositional and Noncompositional Methods (Cambridge Tracts in Theoretical Computer Science, Band 54)