part Part I Parallel Programming -- chapter 1 Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs / chapter 2 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH / chapter 3 Refinement of Parallel Algorithms / part Part II Distributed Systems -- chapter 4 Analysis of Distributed Systems with mCRL2 -- chapter 5 Business Process Specification and Analysis / chapter 6 Behavioral Specification of Middleware Systems / chapter 7 Abstract Machine for Service-Oriented Mobility / chapter 8 Specifying and Implementing Secure Mobile Applications / part Part III Embedded Systems -- chapter 9 Calculating Concurrency Using Circus / chapter 10 PARS: A Process Algebraic Approach to Resources and Schedulers / chapter 11 Formal Approach to Derivation of Concurrent Implementations in Software Product Lines.