Process algebra for parallel and distributed processing /
Process algebras are commonly used in computer science to model concurrent systems. This book discusses the research in the application of algebraic languages and process algebras to parallel and distributed processing. It also features tools, case studies, and a supplementary website.
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Boca Raton, FL :
Chapman and Hall/CRC,
©2009.
|
| Series: | Chapman & Hall/CRC computational science series.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- 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 / Hervé 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 / MohammadReza 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.