Process Algebra for Parallel and Distributed Processing (Hardcover)

Parallel Programming Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs Christopher Kumar Anand and Wolfram Kahl Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Hans-Wolfgang Loidl, Phil Trinder, Kevin Hammond, Abdallah Al Zain, and Clem Baker-Finch Refinement of Parallel Algorithms Fredrik Degerlund and Kaisa Sere Distributed Systems Analysis of Distributed Systems with mCRL2 Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, and Muck van Weerdenburg Business Process Specification and Analysis Uwe Nestmann and Frank Puhlmann Behavioral Specification of Middleware Systems Nelson Souto Rosa Abstract Machine for Service-Oriented Mobility Herve Paulino Specifying and Implementing Secure Mobile Applications Andrew Phillips Embedded Systems Calculating Concurrency Using Circus Alistair A. McEwan PARS: A Process Algebraic Approach to Resources and Schedulers Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, and Michel Chaudron Formal Approach to Derivation of Concurrent Implementations in Software Product Lines Sergio Yovine, Ismail Assayad, Francois-Xavier Defaut, Marcelo Zanconi, and Ananda Basu Index